In the doxygen configuration file is a setting "version". Can I put
something there that represents the system time?
We have a script running that regenerates the source-doc automatically. It
would be handy to see on the "index.html" page the latest date when the
documentation was generated.