Karel Zak 3c3e5f4276 build-sys: move python helpers to tools directory ... Note that make-man-rules.py is missing in EXTRA_DIST=, this patch fixes this mistake too.		2014-02-10 13:02:34 +01:00
..
check-includes.pl	build-sys: add check-includes build target and script	2014-02-10 13:00:19 +01:00
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	build-sys: move python helpers to tools directory	2014-02-10 13:02:34 +01:00
xml_helper.py	build-sys: move python helpers to tools directory	2014-02-10 13:02:34 +01:00