suzanne.soy/scribble-enhanced
1
0
Fork 0
Code Issues 1 Pull Requests 1 Actions Packages Projects Releases Wiki Activity

remove unecessary title tag and prefix

Browse Source 
svn: r8264

original commit: b333628a39dec8235a06986d9ab0bef67b2d98d2
This commit is contained in:
Matthew Flatt 2008-01-08 19:58:07 +00:00
parent 9cb3428a41
commit 431bcb9055
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/scribblings/scribble/scribble.scrbl
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