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