--- render.ml	2006-09-27 13:22:14.000000000 +0200
+++ render.ml.new	2006-09-27 13:21:21.000000000 +0200
@@ -19,7 +19,8 @@
 	Sys.remove (tmpprefix ^ ".aux");
 	Sys.remove (tmpprefix ^ ".log");
         Sys.remove (tmpprefix ^ ".tex");
-	Sys.remove (tmpprefix ^ ".ps");
+	if Sys.file_exists (tmpprefix ^ ".ps")
+	then Sys.remove (tmpprefix ^ ".ps");
       end in
     let f = (Util.open_out_unless_exists (tmpprefix ^ ".tex")) in
       begin