From 55ef67743ddc33b1b3f86384909fddadbb7d5103 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 23 Sep 2009 15:03:22 +0000 Subject: [PATCH] ... --- helm/software/matita/nlibrary/topology/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 > $@ -- 2.39.2