summaryrefslogtreecommitdiff
path: root/tools/make-man-rules.py
AgeCommit message (Collapse)Author
2016-11-28Use python3 explicitly in all python scriptsFelipe Sateler
2015-06-30build-sys: use wildcard glob in update-man-list againZbigniew Jędrzejewski-Szmek
The idea is that after adding a new man page, make update-man-list will be used to regenerate part of the makefile. So the data already present in the makefile cannot be used to do that. Also, renames filter out generated xml files in make-man-rules.py itself in order to make Makefile.am a bit simpler, and rename files to dist_files to better reflect new meaning.
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-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.