X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Flibrary%2FMakefile;h=1a5411c2caaa73202a0c6453467f27799c937a81;hb=08791e80816548121e81e04d3ead8c9a5171d033;hp=5e3aaef451898bcdb129e0ce8d5ff9705ed9da65;hpb=f0bfcd28e54158789fdcf5e8024c84cbc35e6e70;p=helm.git

diff --git a/helm/matita/library/Makefile b/helm/matita/library/Makefile
index 5e3aaef45..1a5411c2c 100644
--- a/helm/matita/library/Makefile
+++ b/helm/matita/library/Makefile
@@ -1,4 +1,4 @@
-SRC=$(shell find . -name "*.ma")
+SRC=$(shell find . -name "*.ma" -a -type f)
 
 MATITAC=../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac ../matitaclean /dev/null
 MATITACOPT=../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac.opt ../matitaclean.opt /dev/null