*** empty log message ***

diff --git a/config.make.in b/config.make.in
index 55ff72debc02ca391d033f8cd6a31043ea07e436..c550138b1829a78e5fa92ed980628730aca5f70a 100644 (file)
--- a/config.make.in
+++ b/config.make.in
@@ -92,7 +92,7 @@ GUILE_LDFLAGS = @GUILE_LDFLAGS@
 INIMETAFONT = @INIMETAFONT@
 LN = @LN@
 LN_S = @LN_S@
-METAFONT = @METAFONT@
+METAFONT = @METAFONT@ -progname=mf
 MFMODE = @MFMODE@
 MSGFMT = @MSGFMT@
 ROOTSEP = @ROOTSEP@