diff --git a/collects/scribble/base/lang/reader.ss b/collects/scribble/base/lang/reader.ss index 8f495a8e..7d7ebb20 100644 --- a/collects/scribble/base/lang/reader.ss +++ b/collects/scribble/base/lang/reader.ss @@ -6,13 +6,13 @@ scribble/base/lang #:read-syntax scribble:read-syntax-inside #:whole-body-readers? #t #:wrapper1 (lambda (t) (list* 'doc 'values '() (t))) -#:info (lambda (key defval default) - (case key - [(color-lexer) - (dynamic-require 'syntax-color/scribble-lexer 'scribble-inside-lexer)] - [(drscheme:toolbar-buttons) - (dynamic-require 'scribble/drscheme-buttons 'drscheme-buttons)] - [else (default key defval)])) +#:info +(lambda (key defval default) + (case key + [(color-lexer) + (dynamic-require 'syntax-color/scribble-lexer 'scribble-inside-lexer)] + [(drscheme:toolbar-buttons) + (dynamic-require 'scribble/tools/drscheme-buttons 'drscheme-buttons)] + [else (default key defval)])) (require (prefix-in scribble: "../../reader.ss")) -