From 9a88fa516ce0440682db0f399ac9d378f7c2bd4e Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 15 Sep 2007 22:27:14 +0000 Subject: [PATCH] 371.3 svn: r7350 original commit: 001404dec0ddf49e774ecac33df6601c4e1b542c --- collects/scribble/doc/lang/reader.ss | 4 +++ collects/scribblings/scribble/how-to.scrbl | 26 ++++++++++---------- collects/scribblings/scribble/scribble.scrbl | 2 +- 3 files changed, 18 insertions(+), 14 deletions(-) create mode 100644 collects/scribble/doc/lang/reader.ss diff --git a/collects/scribble/doc/lang/reader.ss b/collects/scribble/doc/lang/reader.ss new file mode 100644 index 00000000..fbe0d072 --- /dev/null +++ b/collects/scribble/doc/lang/reader.ss @@ -0,0 +1,4 @@ +(module reader mzscheme + (require (prefix doc: (lib "docreader.ss" "scribble"))) + (provide (rename doc:read read) + (rename doc:read-syntax read-syntax))) diff --git a/collects/scribblings/scribble/how-to.scrbl b/collects/scribblings/scribble/how-to.scrbl index cef9ddad..880725a8 100644 --- a/collects/scribblings/scribble/how-to.scrbl +++ b/collects/scribblings/scribble/how-to.scrbl @@ -1,4 +1,4 @@ -#reader(lib "docreader.ss" "scribble") +#lang scribble/doc @require[(lib "manual.ss" "scribble") (lib "bnf.ss" "scribble")] @require["utils.ss"] @@ -18,7 +18,7 @@ To document a collection or @|PLaneT| package: @item{Start @file{manual.scrbl} like this: @verbatim[#<