X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2FMakefile;h=aa73b16474af712640bf0c9a2a74aa3a4d867a1a;hb=d6d8c70140357a4ed1f42a2f941234e26752e4dc;hp=ce51f175b2f184f6d6d1d80d36b781f8d9917c6f;hpb=413007de240fefb28650bb5ba7940f46db656751;p=helm.git

diff --git a/helm/software/Makefile b/helm/software/Makefile
index ce51f175b..aa73b1647 100644
--- a/helm/software/Makefile
+++ b/helm/software/Makefile
@@ -63,8 +63,6 @@ EXTRA_DIST = 			\
 	matita/dist/BUGS 	\
 	matita/dist/ChangeLog	\
 	matita/dist/COPYING 	\
-	matita/dist/INSTALL 	\
-	matita/dist/README	\
 	Makefile 		\
 	Makefile.defs.in	\
 	$(NULL)