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

[Karl Berry]

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.

Hmm.  Patrice, any opinion?

Thanks,
Karl