diff --git a/collects/scribble/lp/lang/reader.rkt b/collects/scribble/lp/lang/reader.rkt index 4ddadb03..70493a1c 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