From 4fe8cd344c09390b20eb7c9cca415d79753d642b Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sat, 17 Mar 2012 19:24:33 -0500 Subject: [PATCH] disable the drracket toolbar buttons for scribble/lp files --- collects/scribble/lp/lang/reader.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/scribble/lp/lang/reader.rkt b/collects/scribble/lp/lang/reader.rkt index 4ddadb038e..70493a1ca3 100644 --- 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