diff options
author | Lennart Poettering <lennart@poettering.net> | 2012-07-16 17:19:39 +0200 |
---|---|---|
committer | Lennart Poettering <lennart@poettering.net> | 2012-07-16 17:19:39 +0200 |
commit | 9c4fa6ed1069e98db5f01a5d1056b443a04cc7d9 (patch) | |
tree | b78687a62c0a57105d4ab936982fa5c0e0b77417 /Makefile.am | |
parent | e06c73cc91e02a1a3dffdb0976fef754f1109e74 (diff) | |
download | systemd-9c4fa6ed1069e98db5f01a5d1056b443a04cc7d9.tar.gz |
min: generate an index page for all man pages
This makes use of python, if it is available
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 18 |
1 files changed, 16 insertions, 2 deletions
diff --git a/Makefile.am b/Makefile.am index c9ea8047ad..a48e05bd87 100644 --- a/Makefile.am +++ b/Makefile.am @@ -658,14 +658,28 @@ noinst_DATA = \ CLEANFILES += \ $(MANPAGES) \ - $(MANPAGES_ALIAS) + $(MANPAGES_ALIAS) \ + ${XML_FILES:.xml=.html} + +if HAVE_PYTHON +noinst_DATA += \ + man/index.html + +CLEANFILES += \ + man/index.html + +man/index.html: $(XML_FILES) + $(AM_V_GEN)$(PYTHON) $(top_srcdir)/make-man-index.py $(XML_FILES) > $@ +endif + endif EXTRA_DIST += \ $(XML_FILES) \ ${XML_FILES:.xml=.html} \ $(MANPAGES) \ - $(MANPAGES_ALIAS) + $(MANPAGES_ALIAS) \ + make-man-index.py # ------------------------------------------------------------------------------ noinst_LTLIBRARIES += \ |