diff --git a/pkgs/plt-services/meta/new-web/lang/reader.rkt b/pkgs/plt-services/meta/new-web/lang/reader.rkt deleted file mode 100644 index 15b850f781..0000000000 --- a/pkgs/plt-services/meta/new-web/lang/reader.rkt +++ /dev/null @@ -1,18 +0,0 @@ -#lang s-exp syntax/module-reader -meta/web/common/main - -;; Similar to `#lang scribble/html', but with a plain scribble reader -;; (not the inside one). - -#:read scribble:read -#:read-syntax scribble:read-syntax -#:info (web-reader-info) - -(require (prefix-in scribble: scribble/reader)) - -(define (web-reader-info) - (lambda (key defval default) - (case key - [(color-lexer) - (dynamic-require 'syntax-color/scribble-lexer 'scribble-lexer)] - [else (default key defval)])))