X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rules%2Fdocbook.mk;h=8488de14842686d35c5628861aab929f01aecc8f;hb=75d9236613acdcfa54deb81b12bd4546c31e7c9f;hp=cec0f2c449dab61dd3303a1ce5c9fb50a957faa8;hpb=630cff0df4289e44404428ec679777cd422273bb;p=ghc-hetmet.git

diff --git a/rules/docbook.mk b/rules/docbook.mk
index cec0f2c..8488de1 100644
--- a/rules/docbook.mk
+++ b/rules/docbook.mk
@@ -14,6 +14,7 @@
 # Build docbook docs
 
 define docbook
+$(call trace, docbook($1,$2))
 # $1 = dir
 # $2 = docname
 
@@ -56,6 +57,7 @@ ps_$1 : $1/$2.ps
 ifneq "$$(BINDIST)" "YES"
 $1/$2.ps: $$($1_DOCBOOK_SOURCES)
 	"$$(DBLATEX)" $$(DBLATEX_OPTS) $1/$2.xml --ps -o $$@
+	[ -f $$@ ]
 endif
 
 ifeq "$$(BUILD_DOCBOOK_PDF)" "YES"
@@ -69,6 +71,7 @@ pdf_$1 : $1/$2.pdf
 ifneq "$$(BINDIST)" "YES"
 $1/$2.pdf: $$($1_DOCBOOK_SOURCES)
 	"$$(DBLATEX)" $$(DBLATEX_OPTS) $1/$2.xml --pdf -o $$@
+	[ -f $$@ ]
 endif
 
 endef