tiny feature request: add meta date tag to HTML output

[Benno Schulenberg]

Hi,

When HTML pages produced by makeinfo are put online, it would be
nice if the reader could relatively easily find out when these pages
were produced.  This could be done by adding to the header after the
"generator" meta tag a "date" meta tag mentioning the then current
date.

For example:
<meta name="description" content="GNU Coreutils">
<meta name="generator" content="makeinfo 4.14">
<meta name="date" content="2009 september 11">

Benno

-- 
http://www.fastmail.fm - Does exactly what it says on the tin