Magnus Hagander 1ea8ecd12a Include docs load timestamp in developer docs ...

This makes it possible to figure out when the docs were actually
loaded, since developer docs don't carry a version number. This is
actually going to be the docs *load* timestamp, and not build timestamp,
but they should be close enough together that it shouldn't matter.

Fixes #108

2011-12-04 15:14:54 +01:00

..

docload.py

Include docs load timestamp in developer docs

2011-12-04 15:14:54 +01:00