Zbigniew Jędrzejewski-Szmek c0652d453e man: ignore non-manpage files when generating makefile		2014-02-20 22:43:27 -05:00
..
check-includes.pl
make-directive-index.py
make-man-index.py
make-man-rules.py	man: ignore non-manpage files when generating makefile	2014-02-20 22:43:27 -05:00
xml_helper.py