doc/share
Warren Block 094ccc9b32 Replace revision and publication date in generated documentation with
the actual date of last update.  This fixes the problems with misleading
"last update" dates that only reflect the change in a single
rarely-changed file.  Note that hrs had reservations about doing this in
the Makefile rather than with a stylesheet.  However, not all our source
files are XML.  For now, this change works, and can be replaced by a
more elegant solution later.  We should also consider checking dates on
other files that affect the content or appearance of documents, like
images.

Submitted by:	grembo
2016-05-04 22:04:56 +00:00
..
examples doc/share/examples: slight modernization 2015-04-02 01:30:08 +00:00
images Update the disk organization section of the very old Basics chapter. 2015-10-27 02:43:23 +00:00
misc Add an entry so <errorname> is displayed in monospace italic text. 2016-02-26 04:59:09 +00:00
mk Replace revision and publication date in generated documentation with 2016-05-04 22:04:56 +00:00
openoffice
pgpkeys Update my GPG key: add subkey created in Jan 2016. 2016-05-01 00:05:40 +00:00
security Add SA-16:16.ntp 2016-04-29 08:09:30 +00:00
tools Redirect fetchindex output to the logfile. 2015-08-18 22:21:40 +00:00
xml Replace revision and publication date in generated documentation with 2016-05-04 22:04:56 +00:00
Makefile - Move the PGP keyring generation to the language-independent share directory 2014-03-07 12:23:51 +00:00