diff --git a/collects/scribble/private/indirect-renderer.rkt b/collects/scribble/private/indirect-renderer.rkt index 37895083..dc6f9511 100644 --- a/collects/scribble/private/indirect-renderer.rkt +++ b/collects/scribble/private/indirect-renderer.rkt @@ -40,11 +40,8 @@ (convert (file-name-from-path tmp))) (when (super report-output?) ; use the original (printf " [Output to ~a]\n" dst)) - (call-with-output-file dst - (λ (out-port) - (call-with-input-file (build-path tmp-dir (file-name-from-path dst)) - (λ (in-port) - (copy-port in-port out-port)))) - #:exists 'truncate)) + (copy-file (build-path tmp-dir (file-name-from-path dst)) + dst + #t)) (cleanup))) (super-new)))