X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=mk%2Fconfig.mk.in;h=0b54097c7423519e956757683687ea4b611b128b;hb=c0be61743a875b59a1ffe6f0af6a50d4f9d091ef;hp=f95d0c7b8335bec853f8484ebb0c3dc3dfa90d65;hpb=13aca089b924f6ac3cd598e17b471ab38a1e3e78;p=ghc-hetmet.git diff --git a/mk/config.mk.in b/mk/config.mk.in index f95d0c7..0b54097 100644 --- a/mk/config.mk.in +++ b/mk/config.mk.in @@ -180,12 +180,6 @@ IncludeTestDirsInBuild=NO IncludeExampleDirsInBuild=NO # -# Which ways should SGML documents be built? -# options are: dvi ps pdf html rtf -# -SGMLDocWays= - -# # Which ways should DocBook XML documents be built? # options are: dvi ps pdf html # @@ -906,27 +900,6 @@ TROFF = troff UNAME = uname #----------------------------------------------------------------------------- -# SGML stuff - -JADE = @JadeCmd@ - -SGML2DVI = $(DOCBOOK_PREFIX)db2dvi -SGML2HTML = $(DOCBOOK_PREFIX)db2html -SGML2PS = $(DOCBOOK_PREFIX)db2ps -SGML2PDF = $(DOCBOOK_PREFIX)db2pdf -SGML2RTF = $(DOCBOOK_PREFIX)db2rtf - -SGMLSTYLESHEET = $(FPTOOLS_TOP_ABS)/docs/fptools-both.dsl - -SRC_SGML2DVI_OPTS = -d $(SGMLSTYLESHEET) -SRC_SGML2HTML_OPTS = -d $(SGMLSTYLESHEET) -SRC_SGML2PS_OPTS = -d $(SGMLSTYLESHEET) -SRC_SGML2RTF_OPTS = -d $(SGMLSTYLESHEET) -SRC_SGML2PDF_OPTS = -d $(SGMLSTYLESHEET) - -DOCBOOK_CATALOG = @Catalog@ - -#----------------------------------------------------------------------------- # DocBook XML stuff XSLTPROC = @XsltprocCmd@