From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 23 Sep 2009 15:03:22 +0000 (+0000)
Subject: ...
X-Git-Tag: make_still_working~3444
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=55ef67743ddc33b1b3f86384909fddadbb7d5103;p=helm.git

...
---

diff --git a/helm/software/matita/nlibrary/topology/Makefile b/helm/software/matita/nlibrary/topology/Makefile
index c9135d827..a14464f60 100644
--- a/helm/software/matita/nlibrary/topology/Makefile
+++ b/helm/software/matita/nlibrary/topology/Makefile
@@ -3,7 +3,7 @@ SRC=$(wildcard *.ma)
 all: $(SRC:%.ma=%.html)
 
 clean:
-	rm *.html *.png
+	rm *.html *.png *.mdwn
 
 %.html: %.ma convert.awk preamble.xml postamble.xml
 	cat preamble.xml > $@