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

build-sys: move python helpers to tools directory

2014-02-10 13:02:34 +01:00

make-man-index.py

build-sys: move python helpers to tools directory

2014-02-10 13:02:34 +01:00

make-man-rules.py

man: ignore non-manpage files when generating makefile

2014-02-20 22:43:27 -05:00

xml_helper.py

build-sys: make lxml required when generating indices

2014-02-12 03:04:57 -05:00