docs, build: Do not ignore install-docs errors
authorIan Jackson <ian.jackson@eu.citrix.com>
Tue, 9 Oct 2012 17:00:00 +0000 (18:00 +0100)
committerIan Jackson <ian.jackson@eu.citrix.com>
Tue, 9 Oct 2012 17:00:00 +0000 (18:00 +0100)
commitbf59aa3f2153a7c1513759e74ff366d94869e9e7
treeba14f9b10d9ecd9493e8bf208052a0afa4e54585
parent97d5a272d594be442a46446da35d633975d09751
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>
Makefile