From 296e55d0e03d4c0eb79328c642a5146671f26f24 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 2 Oct 2015 15:36:12 -0600 Subject: [PATCH] correct docs on `code:contract` Unfortunately, `scribble/manual` and `pict/code` differ on how they color `code:contract` content. --- scribble-doc/scribblings/scribble/manual.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scribble-doc/scribblings/scribble/manual.scrbl b/scribble-doc/scribblings/scribble/manual.scrbl index a72d9bad..1417c6fc 100644 --- a/scribble-doc/scribblings/scribble/manual.scrbl +++ b/scribble-doc/scribblings/scribble/manual.scrbl @@ -300,7 +300,7 @@ A few other escapes are recognized symbolically: } @item{@racket[(#,(indexed-racket code:contract) _datum ...)] typesets like - the sequence of @racket[_datum]s, but colored as a comment and prefixed with a + the sequence of @racket[_datum]s (including its coloring), but prefixed with a semi-colon.} @item{@as-index[@racketidfont{code:blank}] typesets as a blank space.}