more on screenshot

[helm.git] / helm / software / matita / nlibrary / topology / Makefile

diff --git a/helm/software/matita/nlibrary/topology/Makefile b/helm/software/matita/nlibrary/topology/Makefile
index 74648f75c0a3f01f83a1ab2ddc1ac49abdbf87c3..c9135d827634f21145e753741069fd2d358e6370 100644 (file)
--- 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
 
-%.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 >> $@