===================================================================
RCS file: /home/cvs/OpenXM/src/cfep/package/Makefile,v
retrieving revision 1.12
retrieving revision 1.13
diff -u -p -r1.12 -r1.13
--- OpenXM/src/cfep/package/Makefile	2009/02/22 17:30:03	1.12
+++ OpenXM/src/cfep/package/Makefile	2010/06/09 03:05:59	1.13
@@ -43,6 +43,7 @@ clean:
 dist-cfep: gentar install
 	rm -rf work
 	mkdir work
+	-cp install.txt work
 	(cd work ; (cd ${OpenXM_HOME}/.. ; \
 		  tar cf - OpenXM/lib/libgc* OpenXM/lib/libgmp* OpenXM/rc \
 		    OpenXM/bin/ox OpenXM/bin/ox_asir OpenXM/bin/asir \