From bf59aa3f2153a7c1513759e74ff366d94869e9e7 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Tue, 9 Oct 2012 18:00:00 +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 --- 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