diff options
| author | Ian Campbell <ian.campbell@citrix.com> | 2011-11-14 17:50:53 +0000 |
|---|---|---|
| committer | Ian Campbell <ian.campbell@citrix.com> | 2011-11-14 17:50:53 +0000 |
| commit | d0de523f12adc346fc427ba35ba1c31ef4896114 (patch) | |
| tree | 4be40a12b101877e96628faadca1017c87ee9e03 /docs/Makefile | |
| parent | d2cb52cc6c4795d31ada3233efa465e96f009f11 (diff) | |
| download | xen-d0de523f12adc346fc427ba35ba1c31ef4896114.tar.gz xen-d0de523f12adc346fc427ba35ba1c31ef4896114.tar.bz2 xen-d0de523f12adc346fc427ba35ba1c31ef4896114.zip | |
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>
Diffstat (limited to 'docs/Makefile')
| -rw-r--r-- | docs/Makefile | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/docs/Makefile b/docs/Makefile index 2054541f08..3b2aaa3090 100644 --- 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) |