coinduction is between us

[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 c9135d827634f21145e753741069fd2d358e6370..4a78164fbf95353e0f0b18e0b373194c87750c50 100644 (file)
--- a/helm/software/matita/nlibrary/topology/Makefile
+++ b/helm/software/matita/nlibrary/topology/Makefile
@@ -1,9 +1,16 @@
-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
+       rm *.html *.png *.mdwn
 
 %.html: %.ma convert.awk preamble.xml postamble.xml
        cat preamble.xml > $@