diff --git a/collects/scribble/doc/lang/reader.ss b/collects/scribble/doc/lang/reader.ss index 8d082a9be4..0568ed9de0 100644 --- a/collects/scribble/doc/lang/reader.ss +++ b/collects/scribble/doc/lang/reader.ss @@ -1,8 +1,14 @@ #lang scheme/base (require (prefix-in doc: scribble/doc/reader)) -(provide (rename-out [doc:read read] [doc:read-syntax read-syntax]) +(provide (rename-out [doc:read read] + [my:read-syntax read-syntax]) get-info) +(define (my:read-syntax . args) + (let ([s (apply doc:read-syntax args)]) + ;; For now, remove the 'module-language property added by `doc:read-syntax' + (syntax-property s 'module-language #f))) + (define (get-info . args) (lambda (key defval) (case key