diff options
| -rw-r--r-- | mk/config.mk.in | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/mk/config.mk.in b/mk/config.mk.in index 6562ae1f31..201ca8878e 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@ |