From 97d5a272d594be442a46446da35d633975d09751 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Tue, 9 Oct 2012 17:59:59 +0100 Subject: 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 Acked-by: Ian Campbell Committed-by: Ian Campbell --- docs/Makefile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'docs/Makefile') diff --git a/docs/Makefile b/docs/Makefile index e9f6c200c3..03f141a3f7 100644 --- 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: -- cgit v1.2.3