From: rrt Date: Fri, 12 May 2000 12:58:47 +0000 (+0000) Subject: [project @ 2000-05-12 12:58:47 by rrt] X-Git-Tag: Approximately_9120_patches~4496 X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=199edad736c7e51ada6aadab28e76c21f7cadab4;p=ghc-hetmet.git [project @ 2000-05-12 12:58:47 by rrt] Clarified comment about SGML_TOP. --- diff --git a/mk/config.mk.in b/mk/config.mk.in index a63d52b..558bf4b 100644 --- a/mk/config.mk.in +++ b/mk/config.mk.in @@ -86,7 +86,7 @@ HostVendor_CPP = @HostVendor_CPP@ # LeadingUnderscore=@LeadingUnderscore@ -# Pin a suffix on executables? If so, what. (cygwin32 only). +# Pin a suffix on executables? If so, what (Windows only). exeext=@exeext@ ################################################################################ @@ -641,6 +641,12 @@ 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)