[project @ 2004-08-21 13:29:26 by panne]

[ghc-hetmet.git] / mk / config.mk.in

diff --git a/mk/config.mk.in b/mk/config.mk.in
index 37a7f41..fe11b89 100644 (file)
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -185,6 +185,12 @@ IncludeExampleDirsInBuild=NO
 #
 SGMLDocWays=
 
+#
+# Which ways should DocBook XML documents be built?
+# options are: dvi ps pdf html
+#
+XMLDocWays=
+
 ################################################################################
 #
 #              GHC project
@@ -902,6 +908,22 @@ SRC_SGML2PDF_OPTS       = -d $(SGMLSTYLESHEET)
 DOCBOOK_CATALOG                = @Catalog@
 
 #-----------------------------------------------------------------------------
+# DocBook XML stuff
+
+XSLTPROC               = @XsltprocCmd@
+XMLLINT                        = @XmllintCmd@
+FOP                    = @FopCmd@
+XMLTEX                 = @XmltexCmd@
+PDFXMLTEX              = @PdfxmltexCmd@
+DVIPS                  = @DvipsCmd@
+
+DIR_DOCBOOK_XSL                = @DIR_DOCBOOK_XSL@
+
+XSLTPROC_LABEL_OPTS    = --stringparam toc.section.depth 3 \
+                         --stringparam section.autolabel 1 \
+                         --stringparam section.label.includes.component.label 1
+
+#-----------------------------------------------------------------------------
 #              FPtools support software
 
 # Stuff from fptools/glafp-utils