From: Julian Seward <jseward@acm.org>
Date: Tue, 1 Nov 2005 03:08:41 +0000 (+0000)
Subject: If pdfxmltex bombs, as it so often does, at least cause the build to
X-Git-Tag: svn/VALGRIND_3_1_0~257
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=dd977b0ffae1c1f214fe2db1d21a83144fcecb0b;p=thirdparty%2Fvalgrind.git

If pdfxmltex bombs, as it so often does, at least cause the build to
come to a halt rather than just hanging.


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

diff --git a/docs/Makefile.am b/docs/Makefile.am
index 747af8f0ac..87bd4e2912 100644
--- a/docs/Makefile.am
+++ b/docs/Makefile.am
@@ -60,7 +60,7 @@ valid:
 FAQ.txt: $(myxmldir)/FAQ.xml $(myxmldir)/vg-entities.xml $(mylibdir)/*.xslt
 	$(XSLTPROC) $(XSLTPROC_FLAGS) $(mylibdir)/untag-inline.xslt $(myxmldir)/FAQ.xml | \
 	$(XSLTPROC) $(XSLTPROC_FLAGS) $(mylibdir)/docbook2text.xslt - > FAQ.txt
-	
+
 
 # chunked html
 html-docs:
@@ -85,7 +85,7 @@ print-docs:
 	(cd $(myprintdir) && \
          ( pdfxmltex index.fo && \
 	   pdfxmltex index.fo && \
-	   pdfxmltex index.fo ) &> $(LOGFILE) && \
+	   pdfxmltex index.fo ) &> $(LOGFILE) < /dev/null && \
 	 echo "Generating PS file: $(myprintdir)/index.ps ..." && \
 	 pdftops index.pdf && \
 	 rm -f *.log *.aux *.fo *.out)