[Xen-changelog] [xen-unstable] docs, build: Tolerate missing fig2dev

[Xen patchbot-unstable <patchbot@xxxxxxx>]

# HG changeset patch
# User Ian Jackson <ian.jackson@xxxxxxxxxxxxx>
# Date 1349801998 -3600
# Node ID af59cce8d1fd2a592006e188c3e3b42f5bd56fd0
# Parent  92fc422d8ceec4d5577122b93db3df97a98dc4aa
docs, build: Tolerate missing fig2dev

Signed-off-by: Ian Jackson <ian.jackson@xxxxxxxxxxxxx>
Acked-by: Ian Campbell <ian.campbell@xxxxxxxxxx>
Committed-by: Ian Campbell <ian.campbell@xxxxxxxxxx>
---


diff -r 92fc422d8cee -r af59cce8d1fd docs/Makefile
--- a/docs/Makefile     Tue Oct 09 15:05:40 2012 +0100
+++ b/docs/Makefile     Tue Oct 09 17:59:58 2012 +0100
@@ -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:

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog