From 4d11d12c40eeb318d9986b233472c1b263368d54 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Fri, 29 Oct 2010 10:59:33 -0400 Subject: [PATCH] The reader for "#lang scribble/html". (Somehow wasn't included in the earlier commit.) --- collects/scribble/html/lang/reader.rkt | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 collects/scribble/html/lang/reader.rkt diff --git a/collects/scribble/html/lang/reader.rkt b/collects/scribble/html/lang/reader.rkt new file mode 100644 index 0000000000..b61bd5098f --- /dev/null +++ b/collects/scribble/html/lang/reader.rkt @@ -0,0 +1,11 @@ +#lang s-exp syntax/module-reader + +scribble/html/lang + +#:read scribble:read-inside +#:read-syntax scribble:read-syntax-inside +#:whole-body-readers? #t +#:info (scribble-base-reader-info) + +(require (prefix-in scribble: scribble/reader) + (only-in scribble/base/reader scribble-base-reader-info))