- Procedural: bug fix in rendering the application: we must handle the

[helm.git] / helm / software / matita / contribs / LAMBDA-TYPES / Makefile

diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Makefile b/helm/software/matita/contribs/LAMBDA-TYPES/Makefile
index d9b0cab539c128ef70da99e4a1590b3ebc5e0bac..e44fbb49acf339c35dbe10dc65136e69a5ae4bae 100644 (file)
--- a/helm/software/matita/contribs/LAMBDA-TYPES/Makefile
+++ b/helm/software/matita/contribs/LAMBDA-TYPES/Makefile
@@ -10,7 +10,7 @@ DIRS = Legacy-2 Base-2 LambdaDelta-2
 
 SILENTMAKE = $(H)$(MAKE) H=$(H) -s --no-print-directory
 
-MAS = $(patsubst %.mma, %.ma, $(shell find $(DIRS) -name "*.mma"))
+MAS = $(shell find $(DIRS) -mindepth 2 -name "*.ma")
 
 all: depends
        $(H)$(RM) $(LOG)