X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=mk%2Fconfig.mk.in;h=201ca8878ea86b1a31faba2cda7680f785bc0e92;hb=12ec40c5c2b51e826477c557922297f105a41fdb;hp=6562ae1f3121b870a6108b34573609c5b3ee6d39;hpb=4108894c6e92887fe03c2397ff5a8c424413aad6;p=ghc-hetmet.git

diff --git a/mk/config.mk.in b/mk/config.mk.in
index 6562ae1..201ca88 100644
--- 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@