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

[Hamish]

Maciej Sieczka wrote:
> A timestamp on the very http://grass.itc.it/gdp/manuals.php site. This
>  would inform what was CVS date and time when the docs on this site
> were built. So the user can know what is the timestamp of this doc
> version. This helps him to provide a better information in his doc bug
> report - let's him verify if his local doc is newer or older, and
> provides the CVS date&time for him to include in his bug report.


why is the release version not sufficient? 6.0, 5.4, etc..

for 6.3-cvs they are updated weekly(?) so there could be a "generated
$date$", but is that needed? each help page has its "last modified"
timestamp already, which is more important than the date its header was
connected.

i.e. description.html version is more important than g.module.html date.

?

Hamish