Commit graph

3 commits

Author SHA1 Message Date
Ralph Giles
ae1807f117 Remove generation date from docs.
The improves the reproducibilit of the build. The date
was nice to have, but there's a version string at the
top which should identify the release correctly.

The copyright date could actually be incorrect, since
it is based on the build date and not the last-changed
date.
2016-02-03 12:32:00 -08:00
Ralph Giles
3270d1e744 Clean up footer.html.
Use https urls.
Indent nesting levels and add missing </td>.
2016-02-03 12:28:22 -08:00
Gregory Maxwell
595b334f26 Pretty up the HTML doxygen output. 2012-06-11 01:42:32 -04:00