chiark / gitweb /
man: ignore non-manpage files when generating makefile
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Wed, 19 Feb 2014 21:06:10 +0000 (16:06 -0500)
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Fri, 21 Feb 2014 03:43:27 +0000 (22:43 -0500)
commitc0652d453e2329fa465f71d4c68f5fe8618a7de2
tree62ccb1edef613eff72d950e6afa09c0848caeae9
parentef417cfd2211ae017a38b9796c6db29130133e63
man: ignore non-manpage files when generating makefile
tools/make-man-rules.py