suzanne.soy/hyper-literate
1
0
Fork 0
Code Issues 4 Pull Requests 1 Actions Packages Projects Releases Wiki Activity

revert enabling of DrRacket's Scribble buttons for scribble/lp

Browse Source 
The buttons should be enabled for `scribble/lp2`, only.
This commit is contained in:
Matthew Flatt 2014-12-15 18:18:23 -07:00
parent c388f23424
commit 8e4e2e3405
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
scribble-lib/scribble/lp/lang/reader.rkt
View File

@ -5,11 +5,13 @@ scribble/lp/lang/lang
#:read read-inside #:read read-inside
#:read-syntax read-syntax-inside #:read-syntax read-syntax-inside
#:whole-body-readers? #t #:whole-body-readers? #t
;; 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) #:language-info (scribble-base-language-info)
#:info (scribble-base-info) #:info (scribble-base-reader-info)
(require scribble/reader (require scribble/reader
(only-in scribble/base/reader (only-in scribble/base/reader
scribble-base-info scribble-base-reader-info
scribble-base-language-info)) scribble-base-language-info))