[project @ 2000-05-08 14:54:57 by rrt]

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

diff --git a/mk/config.mk.in b/mk/config.mk.in
index a4057ae..0f7dc76 100644 (file)
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -642,14 +642,14 @@ YACC                      = @YaccCmd@
 
 SGML2DVI               = db2dvi
 SGML2HTML              = db2html
-SGML2INFO              = db2info
+SGML2PS                        = db2ps
 SGML2RTF               = db2rtf
 
 SGMLSTYLESHEET          = $(FPTOOLS_TOP_ABS)/docs/fptools-both.dsl
 
 SRC_SGML2DVI_OPTS       = -d $(SGMLSTYLESHEET)
 SRC_SGML2HTML_OPTS      = -d $(SGMLSTYLESHEET)
-SRC_SGML2INFO_OPTS      = -d $(SGMLSTYLESHEET)
+SRC_SGML2PS_OPTS       = -d $(SGMLSTYLESHEET)
 SRC_SGML2RTF_OPTS       = -d $(SGMLSTYLESHEET)
 
 #-----------------------------------------------------------------------------