From 1e5281e9e16f7c001bae8ee5e279fcfb9da444fc Mon Sep 17 00:00:00 2001 From: Han-Wen Nienhuys Date: Tue, 1 Jan 2008 23:52:40 -0200 Subject: [PATCH] Distribute mf2pt1.mp too. --- mf/GNUmakefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mf/GNUmakefile b/mf/GNUmakefile index 59e22f850f..b57930a3b0 100644 --- a/mf/GNUmakefile +++ b/mf/GNUmakefile @@ -8,7 +8,7 @@ include $(depth)/make/stepmake.make MFTRACE_FLAGS= --simplify -EXTRA_DIST_FILES += README +EXTRA_DIST_FILES += README mf2pt1.mp # We don't use $(MF_FILES), because there's more .mf cruft here FETA_MF_FILES = $(call src-wildcard,feta[0-9]*.mf)\ -- 2.39.2