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 |
|
Zbigniew Jędrzejewski-Szmek
|
32dcef3ab1
|
build-sys: make lxml required when generating indices
Since the manpage indices generated without lxml would be missing some
parts, it doesn't make sense to keep lxml optional anymore.
|
2014-02-12 03:04:57 -05:00 |
|
Zbigniew Jędrzejewski-Szmek
|
21ac6ff143
|
man: use xinclude to de-deduplicate common text
I only tested with python-lxml. I'm not sure if xml.etree should be
deprecated.
|
2014-02-12 01:10:31 -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 |
|
Karel Zak
|
bfb35cfda1
|
build-sys: add check-includes build target and script
|
2014-02-10 13:00:19 +01:00 |
|