commit d6bbf9dfe5dfff6218138a9c0994e38d59ad671b parent 700ccfa9cb51ba672cd21427671d7d8a103f1975 Author: Matthew Flatt <mflatt@racket-lang.org> Date: Tue, 17 Aug 2010 17:32:22 -0600 adjust Scribble to sync filename case with uses original commit: d97ee688676ca70a7714d09fadb681ad717ffe3b Diffstat:
| M | 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 @@ -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])