Peter Wang c3ed770683 man: clarify search --exclude=flag ... Improve the description of the search --exclude=flag option, using text taken from the commit that introduced the option.		2013-05-12 07:44:42 -03:00
..
man1	man: clarify search --exclude=flag	2013-05-12 07:44:42 -03:00
man5	bump versions to 0.15.2	2013-02-17 11:39:46 -04:00
man7	bump versions to 0.15.2	2013-02-17 11:39:46 -04: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}/Makefile.local: edit/remove release-checks.sh related targets	2012-09-05 08:34:01 -03:00