batch pdf generation

diff --git a/helm/software/matita/nlibrary/topology/Makefile b/helm/software/matita/nlibrary/topology/Makefile
index a14464f608015bba23bc6d3f7eea623d0e4b313b..9335dadf1f3339cffc1d3c231c1e22d70754b8ff 100644 (file)
--- a/helm/software/matita/nlibrary/topology/Makefile
+++ b/helm/software/matita/nlibrary/topology/Makefile
@@ -1,7 +1,13 @@
-SRC=$(wildcard *.ma)
+SRC=igft.ma
 
 all: $(SRC:%.ma=%.html)
 
+print: $(SRC:%.ma=%.pdf)
+
+%.pdf: %.html
+       # requires http://torisugari.googlepages.com/commandlineprint2
+       iceweasel -print $< -printmode pdf -printfile ./$@
+
 clean:
        rm *.html *.png *.mdwn