From 22ee29d23432b0a3feda44d1716c4320135f81d3 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Thu, 5 Mar 2009 09:58:12 +0000 Subject: [PATCH] delete the target file if it exists svn: r13968 original commit: ac70e716f863ca77eb0d0ec02185e148d5fddbad --- collects/scribble/private/indirect-renderer.ss | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/scribble/private/indirect-renderer.ss b/collects/scribble/private/indirect-renderer.ss index d1fe335d..a3bb0a69 100644 --- a/collects/scribble/private/indirect-renderer.ss +++ b/collects/scribble/private/indirect-renderer.ss @@ -40,6 +40,7 @@ (convert (file-name-from-path tmp))) (when (super report-output?) ; use the original (printf " [Output to ~a]\n" dst)) + (when (file-exists? dst) (delete-file dst)) (copy-file (build-path tmp-dir (file-name-from-path dst)) dst)) (cleanup))) (super-new)))