X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=rules%2Fdocbook.mk;h=922574e577bab2feff18ea0aca419695826df5db;hb=92b7b8a604b2ccca0c6502c74af477378ef6aad6;hp=9b8a4f1c46cd02b89b198418f228cea4aef67334;hpb=2fda738875042f7d2339f18b6c8b43ef7901bc94;p=ghc-hetmet.git

diff --git a/rules/docbook.mk b/rules/docbook.mk
index 9b8a4f1..922574e 100644
--- a/rules/docbook.mk
+++ b/rules/docbook.mk
@@ -29,6 +29,7 @@ $(call all-target,$1,html_$1)
 
 html_$1 : $1/$2/index.html
 
+ifneq "$$(BINDIST)" "YES"
 $1/$2/index.html: $$($1_DOCBOOK_SOURCES)
 	"$$(RM)" $$(RM_OPTS) -r $$(dir $$@)
 	"$$(XSLTPROC)" --stringparam base.dir $$(dir $$@) \
@@ -39,6 +40,7 @@ $1/$2/index.html: $$($1_DOCBOOK_SOURCES)
 	               $$(XSLTPROC_HTML_STYLESHEET) \
 	               $1/$2.xml
 	cp mk/fptools.css $$(dir $$@)
+endif
 
 INSTALL_HTML_DOC_DIRS += $1/$2
 else
@@ -53,8 +55,10 @@ $(call all-target,$1,ps_$1)
 
 ps_$1 : $1/$2.ps
 
+ifneq "$$(BINDIST)" "YES"
 $1/$2.ps: $$($1_DOCBOOK_SOURCES)
 	"$$(DBLATEX)" $$(DBLATEX_OPTS) $1/$2.xml --ps -o $$@
+endif
 
 INSTALL_DOCS += $1/$2.ps
 else
@@ -69,8 +73,10 @@ $(call all-target,$1,pdf_$1)
 .PHONY: pdf_$1
 pdf_$1 : $1/$2.pdf
 
+ifneq "$$(BINDIST)" "YES"
 $1/$2.pdf: $$($1_DOCBOOK_SOURCES)
 	"$$(DBLATEX)" $$(DBLATEX_OPTS) $1/$2.xml --pdf -o $$@
+endif
 
 INSTALL_DOCS += $1/$2.pdf
 else