bug-texinfo
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: Karl Berry
Subject: Re: tiny feature request: add meta date tag to HTML output
Date: Sat, 19 Sep 2009 16:30:34 -0500

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




reply via email to

[Prev in Thread] Current Thread [Next in Thread]