From: Ian Jackson <ian.jackson@eu.citrix.com>
Date: Tue, 9 Oct 2012 16:59:58 +0000 (+0100)
Subject: docs, build: Tolerate missing fig2dev
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~7764
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=8e26a013fd848eb2437768e275751b514698b990;p=xen.git

docs, build: Tolerate missing fig2dev

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 8806990c96..e9f6c200c3 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: