remove unecessary title tag and prefix

svn: r8264
This commit is contained in:
Matthew Flatt 2008-01-08 19:58:07 +00:00
parent f08dbc15da
commit b333628a39

View File

@ -3,8 +3,7 @@
@require[scribble/bnf]
@require["utils.ss"]
@title[#:tag-prefix '(lib "scribblings/scribble/scribble.scrbl")
#:tag "top"]{@bold{Scribble}: PLT Documentation Tool}
@title{@bold{Scribble}: PLT Documentation Tool}
Scribble is a collection of tools for creating prose documents,
especially those that document libraries, and especially for HTML and