[Xen-devel] [PATCH 1/3] docs, build: Tolerate missing fig2dev

[Ian Jackson <ian.jackson@xxxxxxxxxxxxx>]

Signed-off-by: Ian Jackson <ian.jackson@xxxxxxxxxxxxx>
---
 docs/Makefile |    4 +++-
 1 files changed, 3 insertions(+), 1 deletions(-)

diff --git a/docs/Makefile b/docs/Makefile
index 8806990..e9f6c20 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -42,7 +42,9 @@ txt: $(DOC_TXT)
 
 .PHONY: figs
 figs:
-       $(MAKE) -C figs
+       @set -e ; if which $(FIG2DEV) 1>/dev/null 2>/dev/null; then \
+       set -x; $(MAKE) -C figs ; else                   \
+       echo "fig2dev (transfig) not installed; skipping figs."; fi
 
 .PHONY: python-dev-docs
 python-dev-docs:
-- 
1.7.2.5


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel