From 488232313a7e4d06da6493bed81dc7b6777e02e8 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 4 Jan 2013 21:20:01 -0600 Subject: [PATCH] adjust scribble/lp language so drracket syntax colors it properly Also fix a spelling mistake (now that spell checking works) and Rackety original commit: 87d25ba02ae8d400c8bc07ba4f9b8470a9f9092b --- collects/scribble/lp/lang/reader.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/scribble/lp/lang/reader.rkt b/collects/scribble/lp/lang/reader.rkt index 70493a1c..bc2e2f8b 100644 --- a/collects/scribble/lp/lang/reader.rkt +++ b/collects/scribble/lp/lang/reader.rkt @@ -8,10 +8,10 @@ scribble/lp/lang/lang ;; 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) - +#:info (scribble-base-reader-info) (require scribble/reader (only-in scribble/base/reader - scribble-base-info + scribble-base-reader-info scribble-base-language-info))