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

[Patrice Dumas]

On Sat, Sep 19, 2009 at 04:30:34PM -0500, Karl Berry wrote:
> Hi Benno,
> 
>     "generator" meta tag a "date" meta tag mentioning the then current
> 
> 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?

(Completly missed this one, sorry).

The date of generation is not the same than the date of last update, although
the point that the document changes for every update so having it modified
for each generation is not a big deal is still valid. I implemented this
possibility through a perl configuration variable $DATE_IN_HEADER. It could
trivially be set by a command-line option too.

-- 
Pat