Distribute mf2pt1.mp too.

diff --git a/mf/GNUmakefile b/mf/GNUmakefile
index 59e22f850f45558692efeb2845e23cd32be9ad4a..b57930a3b08aac3ced558f24e1a305a2fb53f9f5 100644 (file)
--- 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)\