From: Julian Seward <jseward@acm.org>
Date: Fri, 21 Oct 2011 06:16:27 +0000 (+0000)
Subject: Cause the build to fail when man pages aren't built properly.  At
X-Git-Tag: svn/VALGRIND_3_7_0~53
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=141e66b02af69634ee6acc0cfb1064f362ccf176;p=thirdparty%2Fvalgrind.git

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, madcoder@debian.org)


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12186
---

diff --git a/docs/Makefile.am b/docs/Makefile.am
index fdaff4e3a0..96bfa7074d 100644
--- a/docs/Makefile.am
+++ b/docs/Makefile.am
@@ -127,6 +127,7 @@ FAQ.txt:
 
 # 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 @@ print-docs:
 # 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 @@ install-data-hook:
 		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; \