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>
---
docs/Makefile | 5 ++++-
1 files changed, 4 insertions(+), 1 deletions(-)
diff --git a/docs/Makefile b/docs/Makefile
index e9f6c20..03f141a 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:
--
1.7.2.5
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel
better than gating only the pod-generated outputs; it avoids a partial
output tree.
Signed-off-by: Ian Jackson <ian.jackson@eu.citrix.com>
---
docs/Makefile | 5 ++++-
1 files changed, 4 insertions(+), 1 deletions(-)
diff --git a/docs/Makefile b/docs/Makefile
index e9f6c20..03f141a 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:
--
1.7.2.5
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel