]> matita.cs.unibo.it Git - helm.git/commitdiff
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 23 Sep 2009 15:03:22 +0000 (15:03 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 23 Sep 2009 15:03:22 +0000 (15:03 +0000)
helm/software/matita/nlibrary/topology/Makefile

index c9135d827634f21145e753741069fd2d358e6370..a14464f608015bba23bc6d3f7eea623d0e4b313b 100644 (file)
@@ -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 > $@