[Xen-changelog] [xen-4.2-testing] docs, build: Do not ignore install-docs errors

[Xen patchbot-4.2-testing <patchbot@xxxxxxx>]

# HG changeset patch
# User Ian Jackson <ian.jackson@xxxxxxxxxxxxx>
# Date 1351266453 -3600
# Node ID 1787c24c9808c8491cb0d5365a3b347f326952c2
# Parent  76d3d1d4aca09cc2f6d839f9611857627540e5f0
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@xxxxxxxxxxxxx>
Acked-by: Ian Campbell <ian.campbell@xxxxxxxxxx>
Committed-by: Ian Campbell <ian.campbell@xxxxxxxxxx>

xen-unstable changeset: 26042:3696dd6a7836
Backport-requested-by: Ian Campbell <Ian.Campbell@xxxxxxxxxx>
Committed-by: Ian Jackson <ian.jackson@xxxxxxxxxxxxx>
---


diff -r 76d3d1d4aca0 -r 1787c24c9808 Makefile
--- a/Makefile  Fri Oct 26 16:47:21 2012 +0100
+++ b/Makefile  Fri Oct 26 16:47:33 2012 +0100
@@ -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:

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