X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fnlibrary%2Ftopology%2FMakefile;h=a14464f608015bba23bc6d3f7eea623d0e4b313b;hb=8de75e1a28002270f98c13eb0933f1780c181eb5;hp=74648f75c0a3f01f83a1ab2ddc1ac49abdbf87c3;hpb=bee436af0c6ceb1c83259c94036df8b12f901f2d;p=helm.git

diff --git a/helm/software/matita/nlibrary/topology/Makefile b/helm/software/matita/nlibrary/topology/Makefile
index 74648f75c..a14464f60 100644
--- a/helm/software/matita/nlibrary/topology/Makefile
+++ b/helm/software/matita/nlibrary/topology/Makefile
@@ -1,12 +1,13 @@
+SRC=$(wildcard *.ma)
 
-all:
-	for X in *.ma; do $(MAKE) $$X.html; done
+all: $(SRC:%.ma=%.html)
 
 clean:
-	rm *.html *.png
+	rm *.html *.png *.mdwn
 
-%.ma.html: %.ma convert.awk preamble.xml postamble.xml
+%.html: %.ma convert.awk preamble.xml postamble.xml
 	cat preamble.xml > $@
-	awk -f convert.awk < $< | markdown >> $@
+	awk -f convert.awk < $< > $*.mdwn
+	markdown < $*.mdwn >> $@
 	cat postamble.xml >> $@