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[]