X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fnlibrary%2Ftopology%2FMakefile;h=4a78164fbf95353e0f0b18e0b373194c87750c50;hb=e1cbf489bba32a8109f3373f43f9e3cfe2e0171f;hp=9335dadf1f3339cffc1d3c231c1e22d70754b8ff;hpb=7fd4f2f66fb8fe010bbd2bfe1f6b542c2da6c83f;p=helm.git

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