diff --git a/lang/m2/libm2/.distr b/lang/m2/libm2/.distr
index ea120949d..fe58ce32a 100644
--- a/lang/m2/libm2/.distr
+++ b/lang/m2/libm2/.distr
@@ -6,7 +6,6 @@ Conversion.def
 EM.def
 PascalIO.def
 InOut.def
-Makefile
 Mathlib.def
 MathLib0.def
 Processes.def
@@ -27,3 +26,4 @@ ArraySort.def
 StripUnix.def
 Termcap.def
 XXTermcap.def
+proto.make
diff --git a/lang/m2/libm2/proto.make b/lang/m2/libm2/proto.make
new file mode 100644
index 000000000..50a04d301
--- /dev/null
+++ b/lang/m2/libm2/proto.make
@@ -0,0 +1,27 @@
+# $Header$
+
+#PARAMS		do not remove this line!
+
+DEFDIR = $(TARGET_HOME)/lib/m2
+SRCDIR = $(SRC_HOME)/lang/m2/libm2
+
+SOURCES =	ASCII.def EM.def MathLib0.def Processes.def \
+		RealInOut.def Storage.def Arguments.def Conversion.def \
+		random.def Semaphores.def Unix.def RealConver.def \
+		Strings.def InOut.def Terminal.def \
+		Mathlib.def PascalIO.def Traps.def CSP.def \
+		Epilogue.def Streams.def ArraySort.def StripUnix.def \
+		Termcap.def XXTermcap.def
+
+all:
+clean:
+cmp:
+
+pr:
+		@pr Makefile $(SOURCES)
+opr:
+		make pr | opr
+
+install:
+		-mkdir $(DEFDIR)
+		for i in $(SOURCES) ; do cp $$i $(DEFDIR)/$$i ; done