docs: report if we do not build a doc due to lack of the necessary tool

Previously only some targets did this. An alternative would be to make a hard
dependency on these tools, this might make more sense especially for markdown?

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Committed-by: Ian Jackson <ian.jackson@eu.citrix.com>

diff --git a/docs/Makefile b/docs/Makefile
index 2054541f080bf42827d9c30995b479f2036c6831..3b2aaa3090356ef2725a453d05b7d4b2e7e5309c 100644 (file)
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -58,7 +58,8 @@ python-dev-docs:
 .PHONY: man-pages
 man-pages:
        @if which $(POD2MAN) 1>/dev/null 2>/dev/null; then \
-       $(MAKE) $(DOC_MAN1) $(DOC_MAN5); fi
+       $(MAKE) $(DOC_MAN1) $(DOC_MAN5); else              \
+       echo "pod2man not installed; skipping man-pages."; fi
 
 man1/%.1: man/%.pod.1 Makefile
        $(INSTALL_DIR) $(@D)
@@ -120,14 +121,16 @@ html/%/index.html: src/%.tex
         echo "Running latex2html to generate $*/index.html ... "; \
        $(LATEX2HTML) -split 0 -show_section_numbers -toc_depth 3 -nonavigation \
        -numbered_footnotes -local_icons -noinfo -math -dir $(@D) \
-       $< 1>/dev/null 2>/dev/null ;fi
+       $< 1>/dev/null 2>/dev/null ; else \
+       echo "latex2html not installed; skipping $*."; fi
 
 html/%.html: %.markdown
        @$(INSTALL_DIR) $(@D)
        @set -e ; if which $(MARKDOWN) 1>/dev/null 2>/dev/null; then \
        echo "Running markdown to generate $*.html ... "; \
        $(MARKDOWN) $< > $@.tmp ; \
-       $(call move-if-changed,$@.tmp,$@) ; fi
+       $(call move-if-changed,$@.tmp,$@) ; else \
+       echo "markdown not installed; skipping $*.html."; fi
 
 txt/%.txt: %.txt
        $(INSTALL_DIR) $(@D)