From 239c3cc08fbb72560076bb82fcb53174d5a8c649 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 15 Jan 2008 14:46:36 +0000 Subject: [PATCH] normalize some doc titles svn: r8336 original commit: 04859fb2dd423cd76b5dc9aa0e2d394fbf079074 --- collects/mrlib/scribblings/mrlib.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/mrlib/scribblings/mrlib.scrbl b/collects/mrlib/scribblings/mrlib.scrbl index dfe7aeed..95681982 100644 --- a/collects/mrlib/scribblings/mrlib.scrbl +++ b/collects/mrlib/scribblings/mrlib.scrbl @@ -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[]