hyphen.diff
Public
Actions

Authored By

	• bzimport
	Nov 21 2014, 9:25 PM

Size

442 B

Referenced Files

None

Subscribers

None

hyphen.diff
View Options

	--- 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