From e5d38e056c11018a80908a90e9dfde23a76e8921 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 6 Mar 2008 15:42:16 +0000 Subject: [PATCH] skipped freescale and dama_didactic --- helm/software/Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/helm/software/Makefile b/helm/software/Makefile index 2f19a7523..99570786c 100644 --- a/helm/software/Makefile +++ b/helm/software/Makefile @@ -56,6 +56,8 @@ CLEAN_ON_DIST = \ components/license \ matita/TPTP/ \ matita/dama/ \ + matita/dama_didactic/ \ + matita/library/freescale/ \ matita/contribs/ \ matita/library_auto/ \ $(NULL) -- 2.39.2