...

[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 9335dadf1f3339cffc1d3c231c1e22d70754b8ff..4a78164fbf95353e0f0b18e0b373194c87750c50 100644 (file)
--- a/helm/software/matita/nlibrary/topology/Makefile
+++ b/helm/software/matita/nlibrary/topology/Makefile
@@ -6,7 +6,8 @@ print: $(SRC:%.ma=%.pdf)
 
 %.pdf: %.html
        # requires http://torisugari.googlepages.com/commandlineprint2
-       iceweasel -print $< -printmode pdf -printfile ./$@
+       touch $@
+       iceweasel -print file://$$PWD/$< -printmode PDF -printfile ./$@
 
 clean:
        rm *.html *.png *.mdwn