From: rrt <unknown>
Date: Mon, 8 May 2000 14:54:58 +0000 (+0000)
Subject: [project @ 2000-05-08 14:54:57 by rrt]
X-Git-Tag: Approximately_9120_patches~4561
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=22f40af747bb2d6b26b8755e539560db1c5814d1

[project @ 2000-05-08 14:54:57 by rrt]
Replaced SGML2INFO stuff (which is no longer supported) with SGML2PS (which
is, and may well be useful to some).
---

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)
 
 #-----------------------------------------------------------------------------
diff --git a/mk/opts.mk b/mk/opts.mk
index 5f7c0ad..e3d4a32 100644
--- a/mk/opts.mk
+++ b/mk/opts.mk
@@ -5,7 +5,7 @@
 #	This file defines Make variables for the
 #	option flags for each utility program
 #
-# 	$Id: opts.mk,v 1.13 2000/03/28 11:09:31 rrt Exp $
+# 	$Id: opts.mk,v 1.14 2000/05/08 14:54:58 rrt Exp $
 #
 #################################################################################
 
@@ -115,7 +115,7 @@ MKDEPENDHS_OPTS    = $(SRC_MKDEPENDHS_OPTS) $(WAY$(_way)_MKDEPENDHS_OPTS) \
 MKDEPENDLIT_OPTS   = $(SRC_MKDEPENDLIT_OPTS) $(WAY$(_way)_MKDEPENDLIT_OPTS) \
                      $(EXTRA_MKDEPENDLIT_OPTS)
 SGML2DVI_OPTS      = $(SRC_SGML2DVI_OPTS) $(WAY$(_way)_SGML2DVI_OPTS) $(EXTRA_SGML2DVI_OPTS)
-SGML2INFO_OPTS     = $(SRC_SGML2INFO_OPTS) $(WAY$(_way)_SGML2INFO_OPTS) $(EXTRA_INFO_OPTS)
+SGML2PS_OPTS       = $(SRC_SGML2PS_OPTS) $(WAY$(_way)_SGML2PS_OPTS) $(EXTRA_SGML2PS_OPTS)
 SGML2RTF_OPTS      = $(SRC_SGML2RTF_OPTS) $(WAY$(_way)_SGML2RTF_OPTS) $(EXTRA_SGML2RTF_OPTS)
 SGML2HTML_OPTS     = $(SRC_SGML2HTML_OPTS) $(WAY$(_way)_SGML2HTML_OPTS) $(EXTRA_SGML2HTML_OPTS)
 UGEN_OPTS          = $(SRC_UGEN_OPTS) $(WAY$(_way)_UGEN_OPTS) $(EXTRA_UGEN_OPTS)
diff --git a/mk/suffix.mk b/mk/suffix.mk
index 9e086ec..52c2d21 100644
--- a/mk/suffix.mk
+++ b/mk/suffix.mk
@@ -206,9 +206,9 @@ endif
 	@$(RM) $@
 	$(SGML2HTML) $(SGML2HTML_OPTS) $<
 
-%.info : %.sgml
+%.ps : %.sgml
 	@$(RM) $@
-	$(SGML2INFO) $(SGML2INFO_OPTS) $<
+	$(SGML2PS) $(SGML2PS_OPTS) $<
 
 %.rtf : %.sgml
 	@$(RM) $@