From 19e560794a86dd5d3ad3f2cb7a3200e587ca783d Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Tue, 14 Aug 2012 13:01:31 -0500
Subject: [PATCH] rename contract-blueboxes.rktd to blueboxes.rktd
original commit: d96d920cf95329b1b75d67d4b4352590a55fb68b
---
collects/scribble/contract-render.rkt | 4 ++--
collects/scribblings/scribble/renderer.scrbl | 4 ++--
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/collects/scribble/contract-render.rkt b/collects/scribble/contract-render.rkt
index 9f2a6559..9b02f397 100644
--- a/collects/scribble/contract-render.rkt
+++ b/collects/scribble/contract-render.rkt
@@ -27,10 +27,10 @@
(define cb.rktd
(cond
[multi?
- (build-path dest "contract-blueboxes.rktd")]
+ (build-path dest "blueboxes.rktd")]
[else
(define-values (base name dir?) (split-path dest))
- (build-path base "contract-blueboxes.rktd")]))
+ (build-path base "blueboxes.rktd")]))
(call-with-output-file cb.rktd
(λ (port)
(fprintf port "~a\n" (string-utf-8-length table-str))
diff --git a/collects/scribblings/scribble/renderer.scrbl b/collects/scribblings/scribble/renderer.scrbl
index 4e3c631c..af2d219e 100644
--- a/collects/scribblings/scribble/renderer.scrbl
+++ b/collects/scribblings/scribble/renderer.scrbl
@@ -332,7 +332,7 @@ via a @racketmodname[scribble/text-render] renderer).
It saves this information in three pieces in a file
inside the @racket[dests] directories called
-@filepath{contract-blueboxes.rktd}. The first piece is
+@filepath{blueboxes.rktd}. The first piece is
a single line containing a (decimal, ASCII) number. That number
is the number of bytes that the second piece of information
occupies in the file. The second piece of information
@@ -359,7 +359,7 @@ it saves the resulting files in a different place.
[ri render-info?])
void?]{
Just like @method[override-render-mixin-multi render], except
- that it saves the file @filepath{contract-blueboxes.rktd} in
+ that it saves the file @filepath{blueboxes.rktd} in
the same directory where each @racket[dests] element resides.
}}
}
\ No newline at end of file