Mark some intermediate targets as .PRECIOUS, to replace the recently removed

.SECONDARY target.  This makes experimentation with the PDF builds easier.

diff --git a/doc/src/sgml/Makefile b/doc/src/sgml/Makefile
index 6a963e93a3cb1dbc610801c6ec6f1babfdd5bce0..01cb3959202debdd56b89968af36de3b7c3f6bf4 100644 (file)
--- a/doc/src/sgml/Makefile
+++ b/doc/src/sgml/Makefile
@@ -11,6 +11,7 @@ top_builddir = ../../..
 include $(top_builddir)/src/Makefile.global
 
 .NOTPARALLEL:
+.PRECIOUS: %-A4.tex-ps %-US.tex-ps %-A4.tex-pdf %-US.tex-pdf
 
 ifndef COLLATEINDEX
 COLLATEINDEX = $(DOCBOOKSTYLE)/bin/collateindex.pl