X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fnlibrary%2Ftopology%2FMakefile;h=4a78164fbf95353e0f0b18e0b373194c87750c50;hb=1d5b162785294e62c1f35fe9698fe331172bb3ac;hp=a14464f608015bba23bc6d3f7eea623d0e4b313b;hpb=55ef67743ddc33b1b3f86384909fddadbb7d5103;p=helm.git

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