docs, build: Tolerate missing pod2text

We gate the whole of the "txt" target on pod2text.  I think this is
better than gating only the pod-generated outputs; it avoids a partial
output tree.

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

diff --git a/docs/Makefile b/docs/Makefile
index e9f6c200c3058f582406f9ee827f447fb3643873..03f141a3f7397c4ac5428afe2457d0e77c05af18 100644 (file)
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -38,7 +38,10 @@ dev-docs: python-dev-docs
 html: $(DOC_HTML) html/index.html
 
 .PHONY: txt
-txt: $(DOC_TXT)
+txt:
+       @if which $(POD2TEXT) 1>/dev/null 2>/dev/null; then \
+       $(MAKE) $(DOC_TXT); else              \
+       echo "pod2text not installed; skipping text outputs."; fi
 
 .PHONY: figs
 figs: