David Bremner 80b25792b2 version: set new version and release date ... These are manually set in version and NEWS, and propagate to the other files via "make update-versions"		2013-07-28 11:28:03 -03:00
..
man1	version: set new version and release date	2013-07-28 11:28:03 -03:00
man5	version: set new version and release date	2013-07-28 11:28:03 -03:00
man7	version: set new version and release date	2013-07-28 11:28:03 -03:00
.gitignore	fix .gitignore for gzipped man pages	2012-01-17 14:52:31 -04:00
Makefile	build-system: update for split man pages	2011-12-31 15:16:32 -04:00
Makefile.local	man: document 'insert' command	2013-06-29 14:42:50 -03:00