Filipe Brandenburger d7c9aa5e64 build-sys: fix indentation in make-man-rules generated output ... This fixes the footer where 7 spaces were used on the first line of EXTRA_DIST, but a Tab was clearly intended.		2014-06-20 14:41:09 +02: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: fix indentation in make-man-rules generated output	2014-06-20 14:41:09 +02:00
xml_helper.py	build-sys: make lxml required when generating indices	2014-02-12 03:04:57 -05:00