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 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/docs/Makefile.am b/docs/Makefile.am
index 747af8f..87bd4e2 100644
--- a/docs/Makefile.am
+++ b/docs/Makefile.am
@@ -60,7 +60,7 @@
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 @@
(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)