LATEX = latex
PDFLATEX = pdflatex
BIBTEX = bibtex
-HEVEA = hevea
-HACHA = hacha
LN_S = @LN_S@
-MANMACROS = -man
-MSMACROS = -ms
MV = mv
NROFF = nroff
PERL = @PerlCmd@
GHC_PKG = @GhcPkgCmd@
#
-# GreenCard
-#
-GREENCARD = @GreenCardCmd@
-GREENCARD_VERSION = @GreenCardVersion@
-
-#
# Happy
#
HAPPY = @HappyCmd@