chiark / gitweb /
min: generate an index page for all man pages
[elogind.git] / Makefile.am
index c9ea8047ad6673e4aab92b5ff404ae418ed1a713..a48e05bd8750c0ada0feed7f8594b40a6872fca3 100644 (file)
@@ -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 += \