...

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index 0cd46a54f7850ce7fc1cf9099f409be4cc630442..ff24f9395bb4cb61416a609cf627a64e239dc943 100644 (file)
--- 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 6b0102d1f37bee74d499ed462ca5e325ea6d444c..d31ac70b824183e05a7f3c8e3d35ec473a0764b4 100644 (file)
--- 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,