Zbigniew Jędrzejewski-Szmek e4f42f9d1e build-sys: use wildcard glob in update-man-list again ... The idea is that after adding a new man page, make update-man-list will be used to regenerate part of the makefile. So the data already present in the makefile cannot be used to do that. Also, renames filter out generated xml files in make-man-rules.py itself in order to make Makefile.am a bit simpler, and rename files to dist_files to better reflect new meaning.		2015-06-30 09:56:44 -04:00
..
check-includes.pl
compile-unifont.py	compile-unifont: Python 2 compatibility	2015-01-26 23:56:34 -05:00
gdb-sd_dump_hashmaps.py	tools: add gdb command to dump hashmap information	2014-10-30 19:50:51 +01:00
make-directive-index.py	s/command-line/command line/g	2014-11-06 20:06:30 +01:00
make-man-index.py
make-man-rules.py	build-sys: use wildcard glob in update-man-list again	2015-06-30 09:56:44 -04:00
xml_helper.py	build-sys: make lxml required when generating indices	2014-02-12 03:04:57 -05:00