From: Ian Jackson <ian.jackson@eu.citrix.com>
Date: Tue, 9 Oct 2012 17:00:00 +0000 (+0100)
Subject: docs, build: Do not ignore install-docs errors
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~7762
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=bf59aa3f2153a7c1513759e74ff366d94869e9e7;p=xen.git

docs, build: Do not ignore install-docs errors

In the toplevel Makefile "install-docs" (depended on by "install" and
hence "dist"), but not "build", ignores errors.

This was inherited from before 24563:4271634e4c86, prior to which the
||true seems intended to handle failures of check_pkgs.  Nowadays we
handle docs tools individually in the docs makefiles so there is no
need for this ||true here.

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/Makefile b/Makefile
index 373ca197b6..b54cfbf2ba 100644
--- a/Makefile
+++ b/Makefile
@@ -103,7 +103,7 @@ tools/firmware/seabios-dir-force-update:
 
 .PHONY: install-docs
 install-docs:
-	$(MAKE) -C docs install || true
+	$(MAKE) -C docs install
 
 .PHONY: dev-docs
 dev-docs: