added library_auto/ to tests.

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

diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile
index 1b73fe2da0da33ac1b83959be43d1bc5af2c0924..6f62f254652c8ed9a7b1515d920e1deb896af131 100644 (file)
--- a/helm/software/matita/Makefile
+++ b/helm/software/matita/Makefile
@@ -210,6 +210,7 @@ distclean: clean
 TEST_DIRS =                            \
        legacy                          \
        library                         \
+       library_auto                    \
        tests                           \
        dama                            \
        contribs/CoRN                   \