From d6bbf9dfe5dfff6218138a9c0994e38d59ad671b Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 17 Aug 2010 17:32:22 -0600 Subject: [PATCH] adjust Scribble to sync filename case with uses original commit: d97ee688676ca70a7714d09fadb681ad717ffe3b --- collects/scribble/html-render.rkt | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/collects/scribble/html-render.rkt b/collects/scribble/html-render.rkt index d5b0e252..58483b1e 100644 --- a/collects/scribble/html-render.rkt +++ b/collects/scribble/html-render.rkt @@ -1421,7 +1421,12 @@ [full-path (build-path (path-only (current-output-file)) filename)]) (parameterize ([on-separate-page-ok #f]) - (with-output-to-file full-path #:exists 'truncate/replace + ;; We use 'replace instead of the usual 'truncate/replace + ;; to avoid problems where a filename changes only in case, + ;; in which case some platforms will see the old file + ;; as matching the new name, while others don't. Replacing + ;; the file syncs the case with the current uses. + (with-output-to-file full-path #:exists 'replace (lambda () (render-one-part d ri full-path number))) null)) (parameterize ([on-separate-page-ok #t])