diff options
author | Ian Jackson <ian.jackson@eu.citrix.com> | 2012-10-26 16:47:21 +0100 |
---|---|---|
committer | Ian Jackson <ian.jackson@eu.citrix.com> | 2012-10-26 16:47:21 +0100 |
commit | 689ce149b6495184eaf79088f6da373b2162f15c (patch) | |
tree | fdf3c3477c065a6398e2f954a41245be758b1c24 | |
parent | 4fbfaa77c18cf4f1a36f0ae08cbcbc72341d550c (diff) | |
download | xen-689ce149b6495184eaf79088f6da373b2162f15c.tar.gz xen-689ce149b6495184eaf79088f6da373b2162f15c.tar.bz2 xen-689ce149b6495184eaf79088f6da373b2162f15c.zip |
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>
xen-unstable changeset: 26041:f92152f52a85
Backport-requested-by: Ian Campbell <Ian.Campbell@citrix.com>
Committed-by: Ian Jackson <ian.jackson@eu.citrix.com>
-rw-r--r-- | docs/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/docs/Makefile b/docs/Makefile index 007a5a9c00..0bf2eb5dff 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: python-dev-docs python-dev-docs: |