--- xen-4.4.1/docs/Makefile.orig	2014-09-02 07:20:19.000000000 +0100
+++ xen-4.4.1/docs/Makefile	2014-09-14 21:16:26.642121099 +0100
@@ -40,11 +40,7 @@
 
 .PHONY: figs
 figs:
-ifdef FIG2DEV
-	set -x; $(MAKE) -C figs
-else
 	@echo "fig2dev (transfig) not installed; skipping figs."
-endif
 
 .PHONY: man-pages
 man-pages: