Remove some more unused make variables

diff --git a/mk/config.mk.in b/mk/config.mk.in
index 6562ae1..201ca88 100644 (file)
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -592,11 +592,7 @@ INSTALL                    := $(subst .././install-sh,$(TOP)/install-sh,$(INSTALL))
 LATEX                  = latex
 PDFLATEX        = pdflatex
 BIBTEX          = bibtex
-HEVEA                  = hevea
-HACHA                  = hacha
 LN_S                   = @LN_S@
-MANMACROS              = -man
-MSMACROS               = -ms
 MV                     = mv
 NROFF                  = nroff
 PERL                   = @PerlCmd@
@@ -699,12 +695,6 @@ BLD_DLL                    = dllwrap
 GHC_PKG                        = @GhcPkgCmd@
 
 #
-# GreenCard
-#
-GREENCARD              = @GreenCardCmd@
-GREENCARD_VERSION      = @GreenCardVersion@            
-
-#
 # Happy
 #
 HAPPY                  = @HappyCmd@