diff --git a/collects/scribble/defreader.ss b/collects/scribble/defreader.ss deleted file mode 100644 index fcc47bf393..0000000000 --- a/collects/scribble/defreader.ss +++ /dev/null @@ -1,24 +0,0 @@ - -(module defreader mzscheme - (require (prefix scribble: "reader.ss") - mzlib/kw) - - (provide (rename *read read) - (rename *read-syntax read-syntax)) - - (define/kw (*read #:optional [inp (current-input-port)]) - (wrap inp (scribble:read-inside inp))) - - (define/kw (*read-syntax #:optional src [port (current-input-port)]) - (wrap port (scribble:read-syntax-inside src port))) - - (define (wrap port body) - (let* ([p-name (object-name port)] - [name (if (path? p-name) - (let-values ([(base name dir?) (split-path p-name)]) - (string->symbol (path->string (path-replace-suffix name #"")))) - 'page)] - [id 'doc]) - `(module ,name (lib "lang.ss" "big") - . ,body)))) -