5 Commits

Include renames

Author	SHA1	Message	Date
Zbigniew Jędrzejewski-Szmek	e4f42f9d1e	build-sys: use wildcard glob in update-man-list again ... 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.	2015-06-30 09:56:44 -04:00
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
Zbigniew Jędrzejewski-Szmek	d86dd07d46	build-sys: update intructions for Makefile-man.am regeneration	2014-03-06 23:24:30 -05:00
Zbigniew Jędrzejewski-Szmek	c0652d453e	man: ignore non-manpage files when generating makefile	2014-02-20 22:43:27 -05:00
Karel Zak	3c3e5f4276	build-sys: move python helpers to tools directory ... Note that make-man-rules.py is missing in EXTRA_DIST=, this patch fixes this mistake too.	2014-02-10 13:02:34 +01:00