altos: Allow ports to use type other than 'void *' for gpio block
[fw/altos] / doc / install-html
2016-06-17 Keith Packarddoc: Add install-html script