normalize some doc titles

svn: r8336

original commit: 04859fb2dd423cd76b5dc9aa0e2d394fbf079074
This commit is contained in:
Matthew Flatt 2008-01-15 14:46:36 +00:00
parent c55e38fa09
commit 239c3cc08f

View File

@ -1,7 +1,7 @@
#lang scribble/doc
@(require "common.ss")
@title{@bold{MrLib}: Extra PLT GUI Libraries}
@title{@bold{MrLib}: Extra GUI Libraries}
@table-of-contents[]