From 7fd4f2f66fb8fe010bbd2bfe1f6b542c2da6c83f Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Sat, 17 Oct 2009 17:39:59 +0000 Subject: [PATCH] batch pdf generation --- helm/software/matita/nlibrary/topology/Makefile | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) 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 -- 2.39.2