Re: tiny feature request: add meta date tag to HTML output

[Eli Zaretskii]

> Date: Sat, 19 Sep 2009 16:30:34 -0500
> From: address@hidden (Karl Berry)
> Cc: address@hidden
> 
> Hi Benno,
> 
>     "generator" meta tag a "date" meta tag mentioning the then current
> 
> I've thought about that, but then the pages are always changed on every
> regeneration, even when nothing has actually changed.
> 
> On the other hand, thinking about again now, I realize that the
> recommendation for GNU manuals is to include the date of last update in
> the document itself, in the @copying block.  And therefore all the
> generated pages are changed anyway.  And so adding the generation date
> wouldn't actually be a problem.

Not every manual is a documentation of a GNU project, so not all of
them follow GNU standards.

So I think, if we adopt this as default, we should have an option to
turn it off.