X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=rules%2Fdocbook.mk;h=ccc0fa47a7f13d8cf6e86232485f761a2a3651c3;hb=97254d02c5460c41935e01765bdf52a07431da04;hp=080874d86ac4199010bf63c4851ff68ea100d2cf;hpb=594eb9175eade48b7d3703502492e57938bb8668;p=ghc-hetmet.git

diff --git a/rules/docbook.mk b/rules/docbook.mk
index 080874d..ccc0fa4 100644
--- a/rules/docbook.mk
+++ b/rules/docbook.mk
@@ -33,7 +33,7 @@ html_$1 : $1/$2/index.html
 
 ifneq "$$(BINDIST)" "YES"
 $1/$2/index.html: $$($1_DOCBOOK_SOURCES)
-	"$$(RM)" $$(RM_OPTS) -r $$(dir $$@)
+	"$$(RM)" $$(RM_OPTS_REC) $$(dir $$@)
 	"$$(XSLTPROC)" --stringparam base.dir $$(dir $$@) \
 	               --stringparam use.id.as.filename 1 \
 	               --stringparam html.stylesheet fptools.css \
@@ -56,6 +56,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 +70,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