X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=mk%2Fconfig.mk.in;h=0f7dc76fb63ceffe686dbc46d59ad4c99c872409;hb=22f40af747bb2d6b26b8755e539560db1c5814d1;hp=a4057ae41f6761f483524b73e88a1c3f3d5a399e;hpb=70331ad0a7c255a48c03cfe09f3f9df80f00c2d0;p=ghc-hetmet.git

diff --git a/mk/config.mk.in b/mk/config.mk.in
index a4057ae..0f7dc76 100644
--- 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)
 
 #-----------------------------------------------------------------------------