From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Sat, 17 Oct 2009 17:39:59 +0000 (+0000)
Subject: batch pdf generation
X-Git-Tag: make_still_working~3280
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7fd4f2f66fb8fe010bbd2bfe1f6b542c2da6c83f;p=helm.git

batch pdf generation
---

diff --git a/helm/software/matita/nlibrary/topology/Makefile b/helm/software/matita/nlibrary/topology/Makefile
index a14464f60..9335dadf1 100644
--- 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