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