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 747af8f0acf60eb9944f6418c59b2703fa06ecc5..87bd4e2912b515eb57b93f6cf94f8ee9aaaa2285 100644 (file)
--- 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)