Removed my-reader.rkt, it shouldn't be needed if I manage to fix http://stackoverflow.com/questions/37867859/module-meta-language-in-racket
This commit is contained in:
parent
bd6ffb9b6a
commit
0bbbb12b5a
|
@ -10,8 +10,7 @@ hyper-literate/typed/lang/lang
|
||||||
;; scribble/lp files are not directly scribble'able.
|
;; scribble/lp files are not directly scribble'able.
|
||||||
#:language-info (scribble-base-language-info)
|
#:language-info (scribble-base-language-info)
|
||||||
#:info (scribble-base-reader-info)
|
#:info (scribble-base-reader-info)
|
||||||
(require "my-reader.rkt"
|
(require scribble/reader
|
||||||
scribble/reader
|
|
||||||
(only-in scribble/base/reader
|
(only-in scribble/base/reader
|
||||||
scribble-base-reader-info
|
scribble-base-reader-info
|
||||||
scribble-base-language-info))
|
scribble-base-language-info))
|
||||||
|
|
Loading…
Reference in New Issue
Block a user