only regular files are ending in .ma are now searched

[helm.git] / helm / matita / library / Makefile

diff --git a/helm/matita/library/Makefile b/helm/matita/library/Makefile
index 5e3aaef451898bcdb129e0ce8d5ff9705ed9da65..1a5411c2caaa73202a0c6453467f27799c937a81 100644 (file)
--- 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