[project @ 2004-08-30 18:11:55 by panne]

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

diff --git a/mk/config.mk.in b/mk/config.mk.in
index 37a7f41..5d54685 100644 (file)
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -180,10 +180,10 @@ IncludeTestDirsInBuild=NO
 IncludeExampleDirsInBuild=NO
 
 #
-# Which ways should SGML documents be built?
-# options are: dvi ps pdf html rtf
+# Which ways should DocBook XML documents be built?
+# options are: dvi ps pdf html
 #
-SGMLDocWays=
+XMLDocWays=
 
 ################################################################################
 #
@@ -881,25 +881,20 @@ TROFF                     = troff
 UNAME                  = uname
 
 #-----------------------------------------------------------------------------
-# SGML stuff
+# DocBook XML stuff
 
-JADE                   = @JadeCmd@
+XSLTPROC               = @XsltprocCmd@
+XMLLINT                        = @XmllintCmd@
+FOP                    = @FopCmd@
+XMLTEX                 = @XmltexCmd@
+PDFXMLTEX              = @PdfxmltexCmd@
+DVIPS                  = @DvipsCmd@
 
-SGML2DVI               = $(DOCBOOK_PREFIX)db2dvi
-SGML2HTML              = $(DOCBOOK_PREFIX)db2html
-SGML2PS                        = $(DOCBOOK_PREFIX)db2ps
-SGML2PDF               = $(DOCBOOK_PREFIX)db2pdf
-SGML2RTF               = $(DOCBOOK_PREFIX)db2rtf
+DIR_DOCBOOK_XSL                = @DIR_DOCBOOK_XSL@
 
-SGMLSTYLESHEET          = $(FPTOOLS_TOP_ABS)/docs/fptools-both.dsl
-
-SRC_SGML2DVI_OPTS       = -d $(SGMLSTYLESHEET)
-SRC_SGML2HTML_OPTS      = -d $(SGMLSTYLESHEET)
-SRC_SGML2PS_OPTS       = -d $(SGMLSTYLESHEET)
-SRC_SGML2RTF_OPTS       = -d $(SGMLSTYLESHEET)
-SRC_SGML2PDF_OPTS       = -d $(SGMLSTYLESHEET)
-
-DOCBOOK_CATALOG                = @Catalog@
+XSLTPROC_LABEL_OPTS    = --stringparam toc.section.depth 3 \
+                         --stringparam section.autolabel 1 \
+                         --stringparam section.label.includes.component.label 1
 
 #-----------------------------------------------------------------------------
 #              FPtools support software