update submodules for GHC.HetMet.GArrow -> Control.GArrow renaming

[ghc-hetmet.git] / rules / docbook.mk

diff --git a/rules/docbook.mk b/rules/docbook.mk
index a06aa0f..5a7bfdf 100644 (file)
--- a/rules/docbook.mk
+++ b/rules/docbook.mk
@@ -14,6 +14,8 @@
 # Build docbook docs
 
 define docbook
+$(call trace, docbook($1,$2))
+$(call profStart, docbook($1,$2))
 # $1 = dir
 # $2 = docname
 
@@ -24,52 +26,61 @@ $(call all-target,$1,)
 
 .PHONY: html_$1
 
+ifeq "$$(phase)" "final"
 ifeq "$$(BUILD_DOCBOOK_HTML)" "YES"
 $(call all-target,$1,html_$1)
+INSTALL_HTML_DOC_DIRS += $1/$2
+endif
+endif
 
 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 \
+                      --nonet \
                       $$(XSLTPROC_LABEL_OPTS) $$(XSLTPROC_OPTS) \
-                      $$(DIR_DOCBOOK_XSL)/html/chunk.xsl $1/$2.xml
+                      $$(XSLTPROC_HTML_STYLESHEET) \
+                      $1/$2.xml
        cp mk/fptools.css $$(dir $$@)
-else
-html_$1 :
-       @echo "*** HTML documentation is disabled; BUILD_DOCBOOK_HTML = NO"
-       @exit 1
 endif
 
+
 .PHONY: ps_$1
+ifeq "$$(phase)" "final"
 ifeq "$$(BUILD_DOCBOOK_PS)" "YES"
 $(call all-target,$1,ps_$1)
+INSTALL_DOCS += $1/$2.ps
+endif
+endif
 
 ps_$1 : $1/$2.ps
 
+ifneq "$$(BINDIST)" "YES"
 $1/$2.ps: $$($1_DOCBOOK_SOURCES)
        "$$(DBLATEX)" $$(DBLATEX_OPTS) $1/$2.xml --ps -o $$@
-else
-ps_$1 :
-       @echo "*** PS documentation is disabled; BUILD_DOCBOOK_PS = NO"
-       @exit 1
+       [ -f $$@ ]
 endif
 
+ifeq "$$(phase)" "final"
 ifeq "$$(BUILD_DOCBOOK_PDF)" "YES"
 $(call all-target,$1,pdf_$1)
+INSTALL_DOCS += $1/$2.pdf
+endif
+endif
 
 .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 $$@
-else
-pdf_$1 :
-       @echo "*** PDF documentation is disabled; BUILD_DOCBOOK_PDF = NO"
-       @exit 1
+       [ -f $$@ ]
 endif
 
+$(call profEnd, docbook($1,$2))
 endef