commit 5be58073cb5ef0effe9269d347fd69eb8e289052
parent f280030d0c6b5b091d2b86e74c9ea69da9758314
Author: Robby Findler <robby@racket-lang.org>
Date: Sat, 17 Mar 2012 19:24:33 -0500
disable the drracket toolbar buttons for scribble/lp files
original commit: 4fe8cd344c09390b20eb7c9cca415d79753d642b
Diffstat:
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/collects/scribble/lp/lang/reader.rkt b/collects/scribble/lp/lang/reader.rkt
@@ -5,7 +5,8 @@ scribble/lp/lang/lang
#:read read-inside
#:read-syntax read-syntax-inside
#:whole-body-readers? #t
-#:info (scribble-base-info)
+;; don't use scribble-base-info for the #:info arg, since
+;; scribble/lp files are not directly scribble'able.
#:language-info (scribble-base-language-info)
(require scribble/reader