altos: Use mini logging for detherm, just without ADC
[fw/altos] / doc / make-am-html
2015-11-14 Keith Packarddoc: Construct html index for documentation