summaryrefslogtreecommitdiff
path: root/tools
AgeCommit message (Collapse)AuthorFilesLines
2014-03-06build-sys: update intructions for Makefile-man.am regenerationZbigniew Jędrzejewski-Szmek1-2/+10
2014-02-20man: ignore non-manpage files when generating makefileZbigniew Jędrzejewski-Szmek1-1/+7
2014-02-12build-sys: make lxml required when generating indicesZbigniew Jędrzejewski-Szmek1-19/+8
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-Szmek1-9/+13
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 Zak4-0/+610
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 Zak1-0/+23