From e36796195e470bfcdb55b4a267c57691006f2b2a Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Wed, 3 Apr 2013 23:05:20 -0700 Subject: [PATCH] Add doc for #:no-optimize. Closes PR 13001. original commit: c29560828250dddcb3ff265527896e219d5d8b63 --- collects/typed-racket/scribblings/guide/optimization.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-racket/scribblings/guide/optimization.scrbl b/collects/typed-racket/scribblings/guide/optimization.scrbl index ae160576..80363365 100644 --- a/collects/typed-racket/scribblings/guide/optimization.scrbl +++ b/collects/typed-racket/scribblings/guide/optimization.scrbl @@ -19,7 +19,7 @@ benchmarking, see @secref[#:doc '(lib Typed Racket's optimizer is turned on by default. If you want to deactivate it (for debugging, for instance), you must add the -@racket[#:no-optimize] keyword when specifying the language of your +@as-index{@racket[#:no-optimize]} keyword when specifying the language of your program: @racketmod[typed/racket #:no-optimize]