delete the target file if it exists

svn: r13968 original commit: ac70e716f863ca77eb0d0ec02185e148d5fddbad
2009-03-05 09:58:12 +00:00 · 2009-03-05 09:58:12 +00:00 · 22ee29d234
commit 22ee29d234
parent 0e562a46da
1 changed files with 1 additions and 0 deletions
--- 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)))