From 2bcbc98c4bfbe776ee98c80e152056d239287081 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 16 Nov 2009 10:19:29 +0000 Subject: [PATCH] moved drscheme-related tool into "tools" svn: r16804 original commit: 709b5884106dc31249854386dd27b07b29fa296a --- collects/scribble/base/lang/reader.ss | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) 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")) -