From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 6 Sep 2005 12:12:44 +0000 (+0000)
Subject: ...
X-Git-Tag: V_0_1_2_1~78
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=513e52fa53da03a4775d9a6bc3c93eafb5f3f9df;p=helm.git

...
---

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index 0cd46a54f..ff24f9395 100644
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -164,11 +164,11 @@ distclean: clean
 tests: matitac matitadep matitaclean
 	@(cd library && make MATITAC="- ../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac ../matitaclean /dev/null" clean all)
 	@(cd tests && make MATITAC="- ../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac ../matitaclean /dev/null" clean all)
-	@(cd contribs/LAMBDA-TYPES && make MATITAC="- ../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac ../matitaclean /dev/null" clean all)
+	@(cd contribs/LAMBDA-TYPES && make MATITAC="- ../../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac ../matitaclean /dev/null" clean all)
 tests.opt: matitac.opt matitadep.opt matitaclean.opt
 	@(cd library && make MATITAC="- ../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac.opt ../matitaclean.opt /dev/null" clean.opt opt)
 	@(cd tests && make MATITAC="- ../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac.opt ../matitaclean.opt /dev/null" clean.opt opt)
-	@(cd contribs/LAMBDA-TYPES && make MATITAC="- ../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac.opt ../matitaclean.opt /dev/null" clean.opt opt)
+	@(cd contribs/LAMBDA-TYPES && make MATITAC="- ../../scripts/do_tests.sh $(DO_TESTS_OPTS) ../matitac.opt ../matitaclean.opt /dev/null" clean.opt opt)
 cleantests: matitaclean
 	@(cd library && make clean)
 	@(cd tests && make clean)
diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index 6b0102d1f..d31ac70b8 100644
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -88,6 +88,8 @@ TODO
   - riattaccare hbugs (brrr...) -> Zack
 
   GUI LOGICA
+  - matitaclean (e famiglia) non cancellano le directory vuote
+    (e per giunta il cicbrowser le mostra :-)
   - codice di inizializzazione di matita, matitac, matitatop replicato e non
     in sync
   - fattorizzare codice fra MatitaEngine e DisambiguatePp (dove, fra l'altro,