From 3f3e58b40c86bdaf3dd1f94baf0b41839939522b Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Fri, 26 Oct 2012 16:47:33 +0100 Subject: 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 Acked-by: Ian Campbell Committed-by: Ian Campbell xen-unstable changeset: 26042:3696dd6a7836 Backport-requested-by: Ian Campbell Committed-by: Ian Jackson --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') 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: -- cgit v1.2.3