From cedf03f6c9e3ff16be96cd95ad65da353980574b Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Wed, 12 Dec 2007 16:31:57 +0000
Subject: [PATCH] adjust document names

svn: r7968

original commit: a559a710d48b07411811c22045f77a9ef7a1750f
---
 collects/framework/framework.scrbl | 2 +-
 collects/scribblings/gui/gui.scrbl | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/collects/framework/framework.scrbl b/collects/framework/framework.scrbl
index 05dfc6fe..57dc3953 100644
--- a/collects/framework/framework.scrbl
+++ b/collects/framework/framework.scrbl
@@ -4,7 +4,7 @@
 (require scribble/manual)
 ]
 
-@title{PLT Framework: GUI Application Framework}
+@title{@bold{Framework}: PLT GUI Application Framework}
 
 Nothing yet.
 
diff --git a/collects/scribblings/gui/gui.scrbl b/collects/scribblings/gui/gui.scrbl
index 3c48abc3..6918f91f 100644
--- a/collects/scribblings/gui/gui.scrbl
+++ b/collects/scribblings/gui/gui.scrbl
@@ -2,7 +2,7 @@
 @require["common.ss"]
 
 @title[#:tag-prefix '(lib "scribblings/gui/gui.scrbl") 
-       #:tag "top"]{PLT Scheme GUI: MrEd}
+       #:tag "top"]{@bold{GUI}: PLT Graphics Toolkit}
 
 @declare-exporting[scheme/gui/base scheme/gui]