[project @ 2000-05-18 09:59:28 by simonmar]

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

diff --git a/mk/config.mk.in b/mk/config.mk.in
index 558bf4b..b0295b2 100644 (file)
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -371,18 +371,20 @@ FPTOOLS_TOP_ABS           = @hardtop@
 # but since the configure script has them on offer while
 # passing through, we might as well set them.
 
-prefix                  = @prefix@
-exec_prefix             = @exec_prefix@
-bindir                  = @bindir@
-#UNUSED, see below: libexecdir              = @libexecdir@
-datadir                 = @datadir@
-#sysconfdir              = @datadir@
-#sharedstatedir          = @sharedstatedir@
-#localstatedir           = @localstatedir@
-libdir                  = @libdir@
-includedir              = @includedir@
-oldincludedir           = @oldincludedir@
+prefix                 = @prefix@
+exec_prefix            = @exec_prefix@
+bindir                 = @bindir@
+datadir                        = @datadir@
+#sysconfdir            = @datadir@
+#sharedstatedir                = @sharedstatedir@
+#localstatedir         = @localstatedir@
+libdir                 = @libdir@
+includedir             = @includedir@
+oldincludedir          = @oldincludedir@
 mandir                 = @mandir@
+
+#UNUSED, see below: libexecdir              = @libexecdir@
+#UNUSED:infodir                = @infodir@
 #UNUSED:srcdir          = @srcdir@
 
 # 
@@ -633,6 +635,8 @@ YACC                        = @YaccCmd@
 #-----------------------------------------------------------------------------
 # SGML stuff
 
+JADE                   = @JadeCmd@
+
 SGML2DVI               = $(DOCBOOK_PREFIX)db2dvi
 SGML2HTML              = $(DOCBOOK_PREFIX)db2html
 SGML2PS                        = $(DOCBOOK_PREFIX)db2ps
@@ -641,12 +645,6 @@ SGML2RTF           = $(DOCBOOK_PREFIX)db2rtf
 
 SGMLSTYLESHEET          = $(FPTOOLS_TOP_ABS)/docs/fptools-both.dsl
 
-# This may need to be changed by the user for local conditions
-SGML_TOP               = /usr/lib/sgml
-
-SGML_CATALOG_FILES     = ./catalog:$(SGML_TOP)/catalog:$(SGML_TOP)/docbook.cat:$(SGML_TOP)/stylesheets/docbook/catalog
-
-
 SRC_SGML2DVI_OPTS       = -d $(SGMLSTYLESHEET)
 SRC_SGML2HTML_OPTS      = -d $(SGMLSTYLESHEET)
 SRC_SGML2PS_OPTS       = -d $(SGMLSTYLESHEET)