From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 5 Jul 2005 13:15:31 +0000 (+0000)
Subject: let's find the .ma files also in subdirectories
X-Git-Tag: V_0_7_1~89
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c98f8372d00334e12e3a73b2494c34c320df9bfb;p=helm.git

let's find the .ma files also in subdirectories
---

diff --git a/helm/matita/library/Makefile b/helm/matita/library/Makefile
index 1e9dde304..5faa6f0f4 100644
--- a/helm/matita/library/Makefile
+++ b/helm/matita/library/Makefile
@@ -1,4 +1,4 @@
-SRC=$(wildcard *.ma)
+SRC=$(shell find . -name "*.ma")
 
 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