From: rrt <unknown>
Date: Mon, 24 Jan 2000 12:42:32 +0000 (+0000)
Subject: [project @ 2000-01-24 12:42:32 by rrt]
X-Git-Tag: Approximately_9120_patches~5234
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=ba714d9f37750d4f0aeec576ec7168826bc5f614;p=ghc-hetmet.git

[project @ 2000-01-24 12:42:32 by rrt]
Added SGMLSTYLESHEET variable and set SGML2XXX_OPTS to -d $(SGMLSTYLESHEET)
---

diff --git a/mk/config.mk.in b/mk/config.mk.in
index 85fc4e2..2ebedc4 100644
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -637,6 +637,13 @@ SGML2HTML		= db2html
 SGML2INFO		= db2info
 SGML2RTF		= db2rtf
 
+SGMLSTYLESHEET          = $(FPTOOLS_TOP_ABS)/docs/fptools-both.dsl
+
+SGML2DVI_OPTS           = -d $(SGMLSTYLESHEET)
+SGML2HTML_OPTS          = -d $(SGMLSTYLESHEET)
+SGML2INFO_OPTS          = -d $(SGMLSTYLESHEET)
+SGML2RTF_OPTS           = -d $(SGMLSTYLESHEET)
+
 #-----------------------------------------------------------------------------
 # 		FPtools support software