website & identifiers

[Thomas Dickey]

When perusing the website for news, it would be useful if the pages were
marked (in their source) as generated or manually updated.  For the former
(unless they're generated on demand), a modification date would also be
useful.  For the latter, an RCS/CVS/etc identifier to distinguish
successive versions is normally expected.

Are the pages all generated from another format, or are some in CVS
(somewhere)?

-- 
Thomas E. Dickey
http://invisible-island.net
ftp://invisible-island.net