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

…

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