[GRASS-dev] CVS date&time on manuals page?

[Maciej Sieczka]

Hi Markus,

While setting up the tracker for doc bugs, I've come to an idea that it
would be usefull to have the CVS checkout's date and time displayed on
the http://grass.itc.it/gdp/manuals.php. So the user (who is not using
CVS) reporting a manual bug, can know if his issue is still actuall and
what CVS checkout he is reffering to, and supply this CVS date and time
in the bug report (see
http://wald.intevation.org/tracker/?func=add&group_id=21&atid=184).

Does it sound any good to you?

Maciek