diff options
Diffstat (limited to 'docs/Makefile')
-rw-r--r-- | docs/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/docs/Makefile b/docs/Makefile index 7595e1d236..2dde146b2c 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -45,7 +45,7 @@ ps: $(DOC_PS) pdf: $(DOC_PDF) .PHONY: html -html: $(DOC_HTML) +html: $(DOC_HTML) html/index.html .PHONY: txt txt: $(DOC_TXT) @@ -128,6 +128,9 @@ html/%/index.html: src/%.tex $< 1>/dev/null 2>/dev/null ; else \ echo "latex2html not installed; skipping $*."; fi +html/index.html: $(DOC_HTML) ./gen-html-index INDEX + perl -w -- ./gen-html-index -i INDEX html $(DOC_HTML) + html/%.html: %.markdown @$(INSTALL_DIR) $(@D) @set -e ; if which $(MARKDOWN) 1>/dev/null 2>/dev/null; then \ |