From fd3fd1d9e91e1975853a3942aad626f1522c8374 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 6 Mar 2008 15:32:47 +0000 Subject: [PATCH] no more assembly/ to skip --- helm/software/Makefile | 1 - 1 file changed, 1 deletion(-) diff --git a/helm/software/Makefile b/helm/software/Makefile index 9e62f6935..2f19a7523 100644 --- a/helm/software/Makefile +++ b/helm/software/Makefile @@ -57,7 +57,6 @@ CLEAN_ON_DIST = \ matita/TPTP/ \ matita/dama/ \ matita/contribs/ \ - matita/library/assembly/ \ matita/library_auto/ \ $(NULL) EXTRA_DIST = \ -- 2.39.2