[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
tiny feature request: add meta date tag to HTML output
From: |
Benno Schulenberg |
Subject: |
tiny feature request: add meta date tag to HTML output |
Date: |
Sat, 19 Sep 2009 12:42:31 +0200 |
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
- tiny feature request: add meta date tag to HTML output,
Benno Schulenberg <=