summaryrefslogtreecommitdiff
path: root/tools
AgeCommit message (Collapse)Author
2014-06-20build-sys: fix indentation in make-man-rules generated outputFilipe Brandenburger
This fixes the footer where 7 spaces were used on the first line of EXTRA_DIST, but a Tab was clearly intended.
2014-03-06build-sys: update intructions for Makefile-man.am regenerationZbigniew Jędrzejewski-Szmek
2014-02-20man: ignore non-manpage files when generating makefileZbigniew Jędrzejewski-Szmek
2014-02-12build-sys: make lxml required when generating indicesZbigniew Jędrzejewski-Szmek
Since the manpage indices generated without lxml would be missing some parts, it doesn't make sense to keep lxml optional anymore.
2014-02-12man: use xinclude to de-deduplicate common textZbigniew Jędrzejewski-Szmek
I only tested with python-lxml. I'm not sure if xml.etree should be deprecated.
2014-02-10build-sys: move python helpers to tools directoryKarel Zak
Note that make-man-rules.py is missing in EXTRA_DIST=, this patch fixes this mistake too.
2014-02-10build-sys: add check-includes build target and scriptKarel Zak