From 6789fd22c652288679bd77d7876f35d8629f8e4b Mon Sep 17 00:00:00 2001
From: Jan Nieuwenhuizen <janneke@gnu.org>
Date: Sun, 9 Jan 2005 17:23:22 +0000
Subject: [PATCH] *** empty log message ***

---
 config.make.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/config.make.in b/config.make.in
index 55ff72debc..c550138b18 100644
--- 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@
-- 
2.39.5