micro-opt: replace stmGetEnclosingTRec() with a field access

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

diff --git a/rules/docbook.mk b/rules/docbook.mk
index 196019e..9b8a4f1 100644 (file)
--- a/rules/docbook.mk
+++ b/rules/docbook.mk
@@ -17,19 +17,66 @@ define docbook
 # $1 = dir
 # $2 = docname
 
-$(call clean-target,$1,docbook,$1/$2)
+$(call clean-target,$1,docbook,$1/$2 $1/$2.pdf $1/$2.ps)
 
-ifneq "$$(XSLTPROC)" ""
-$(call all-target,$1,$1/$2/index.html)
+# empty "all_$1" target just in case we're not building docs at all
+$(call all-target,$1,)
+
+.PHONY: html_$1
+
+ifeq "$$(BUILD_DOCBOOK_HTML)" "YES"
+$(call all-target,$1,html_$1)
+
+html_$1 : $1/$2/index.html
 
 $1/$2/index.html: $$($1_DOCBOOK_SOURCES)
-       $$(RM) -r $$(dir $$@)
-       $$(XSLTPROC) --stringparam base.dir $$(dir $$@) \
-                    --stringparam use.id.as.filename 1 \
-                    --stringparam html.stylesheet fptools.css \
-                    $$(XSLTPROC_LABEL_OPTS) $$(XSLTPROC_OPTS) \
-                    $$(DIR_DOCBOOK_XSL)/html/chunk.xsl $1/$2.xml
+       "$$(RM)" $$(RM_OPTS) -r $$(dir $$@)
+       "$$(XSLTPROC)" --stringparam base.dir $$(dir $$@) \
+                      --stringparam use.id.as.filename 1 \
+                      --stringparam html.stylesheet fptools.css \
+                      --nonet \
+                      $$(XSLTPROC_LABEL_OPTS) $$(XSLTPROC_OPTS) \
+                      $$(XSLTPROC_HTML_STYLESHEET) \
+                      $1/$2.xml
        cp mk/fptools.css $$(dir $$@)
+
+INSTALL_HTML_DOC_DIRS += $1/$2
+else
+html_$1 :
+       @echo "*** HTML documentation is disabled; BUILD_DOCBOOK_HTML = NO"
+       @exit 1
+endif
+
+.PHONY: ps_$1
+ifeq "$$(BUILD_DOCBOOK_PS)" "YES"
+$(call all-target,$1,ps_$1)
+
+ps_$1 : $1/$2.ps
+
+$1/$2.ps: $$($1_DOCBOOK_SOURCES)
+       "$$(DBLATEX)" $$(DBLATEX_OPTS) $1/$2.xml --ps -o $$@
+
+INSTALL_DOCS += $1/$2.ps
+else
+ps_$1 :
+       @echo "*** PS documentation is disabled; BUILD_DOCBOOK_PS = NO"
+       @exit 1
+endif
+
+ifeq "$$(BUILD_DOCBOOK_PDF)" "YES"
+$(call all-target,$1,pdf_$1)
+
+.PHONY: pdf_$1
+pdf_$1 : $1/$2.pdf
+
+$1/$2.pdf: $$($1_DOCBOOK_SOURCES)
+       "$$(DBLATEX)" $$(DBLATEX_OPTS) $1/$2.xml --pdf -o $$@
+
+INSTALL_DOCS += $1/$2.pdf
+else
+pdf_$1 :
+       @echo "*** PDF documentation is disabled; BUILD_DOCBOOK_PDF = NO"
+       @exit 1
 endif
 
 endef