|
From: <sv...@va...> - 2011-10-21 06:21:11
|
Author: sewardj Date: 2011-10-21 07:16:27 +0100 (Fri, 21 Oct 2011) New Revision: 12186 Log: Cause the build to fail when man pages aren't built properly. At present that doesn't happen. #272967, which is Debian bug 599563. (Pierre Habouzit, mad...@de...) Modified: trunk/docs/Makefile.am Modified: trunk/docs/Makefile.am =================================================================== --- trunk/docs/Makefile.am 2011-10-21 05:00:37 UTC (rev 12185) +++ trunk/docs/Makefile.am 2011-10-21 06:16:27 UTC (rev 12186) @@ -127,6 +127,7 @@ # the valgrind manpages man-pages: + set -e; \ for x in $(XSL_MAN_STYLES) ; do \ if test -f $$x; then \ echo "Using manpage stylesheet: $$x"; \ @@ -178,6 +179,7 @@ # be the one to handle the else/endif parts, not GNU make # as we intend. install-data-hook: + set -e; \ if test -r html ; then \ mkdir -p $(DESTDIR)$(datadir)/doc/valgrind; \ cp -r html $(DESTDIR)$(datadir)/doc/valgrind; \ @@ -189,10 +191,12 @@ fi \ done ifeq ($(BUILD_ALL_DOCS),yes) + set -e; \ if test -r index.pdf ; then \ mkdir -p $(DESTDIR)$(datadir)/doc/valgrind; \ cp index.pdf $(DESTDIR)$(datadir)/doc/valgrind/valgrind_manual.pdf; \ fi + set -e; \ if test -r index.ps ; then \ mkdir -p $(DESTDIR)$(datadir)/doc/valgrind; \ cp index.ps $(DESTDIR)$(datadir)/doc/valgrind/valgrind_manual.ps; \ |