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
