[project @ 2004-08-15 20:28:02 by panne]

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

diff --git a/mk/config.mk.in b/mk/config.mk.in
index 37a7f41..6d61470 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,18 @@ 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@
+
+#-----------------------------------------------------------------------------
 #              FPtools support software
 
 # Stuff from fptools/glafp-utils