From 04859fb2dd423cd76b5dc9aa0e2d394fbf079074 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Tue, 15 Jan 2008 14:46:36 +0000
Subject: [PATCH] normalize some doc titles

svn: r8336
---
 collects/algol60/algol60.scrbl                   | 2 +-
 collects/mrlib/scribblings/mrlib.scrbl           | 2 +-
 collects/scribblings/drscheme/drscheme.scrbl     | 2 +-
 collects/scribblings/foreign/foreign.scrbl       | 2 +-
 collects/scribblings/htdp-langs/htdp-langs.scrbl | 4 ++++
 collects/scribblings/mzc/mzc.scrbl               | 2 +-
 collects/web-server/scribblings/web-server.scrbl | 2 +-
 7 files changed, 10 insertions(+), 6 deletions(-)

diff --git a/collects/algol60/algol60.scrbl b/collects/algol60/algol60.scrbl
index 01f7cfee91..6288839564 100644
--- a/collects/algol60/algol60.scrbl
+++ b/collects/algol60/algol60.scrbl
@@ -2,7 +2,7 @@
 @(require scribble/manual
           (for-label algol60/algol60))
 
-@title{Algol 60}
+@title{@bold{Algol 60}}
 
 @section{Implementation}
 
diff --git a/collects/mrlib/scribblings/mrlib.scrbl b/collects/mrlib/scribblings/mrlib.scrbl
index dfe7aeedc8..956819823e 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[]
 
diff --git a/collects/scribblings/drscheme/drscheme.scrbl b/collects/scribblings/drscheme/drscheme.scrbl
index f3a2c43056..c9f7607bdd 100644
--- a/collects/scribblings/drscheme/drscheme.scrbl
+++ b/collects/scribblings/drscheme/drscheme.scrbl
@@ -4,7 +4,7 @@
 (require scribble/manual)
 ]
 
-@title{@bold{DrScheme}: PLT Programming Environment Manual}
+@title{@bold{DrScheme}: PLT Programming Environment}
 
 Nothing yet.
 
diff --git a/collects/scribblings/foreign/foreign.scrbl b/collects/scribblings/foreign/foreign.scrbl
index 2b58317d56..bbf96ceb17 100644
--- a/collects/scribblings/foreign/foreign.scrbl
+++ b/collects/scribblings/foreign/foreign.scrbl
@@ -1,7 +1,7 @@
 #lang scribble/doc
 @(require "utils.ss")
 
-@title{@bold{FFI}: PLT Foreign Interface}
+@title{@bold{FFI}: PLT Scheme Foreign Interface}
 
 @defmodule[scheme/foreign]
 
diff --git a/collects/scribblings/htdp-langs/htdp-langs.scrbl b/collects/scribblings/htdp-langs/htdp-langs.scrbl
index 9b53ec6ebb..5d01540e59 100644
--- a/collects/scribblings/htdp-langs/htdp-langs.scrbl
+++ b/collects/scribblings/htdp-langs/htdp-langs.scrbl
@@ -3,6 +3,10 @@
 
 @title{@italic{How to Design Programs} Languages}
 
+The languages documented in this manual are provided by DrScheme to be
+used with the @italic{@link["http://www.htdp.org/"]{How to Design
+Programs}} book.
+
 @table-of-contents[]
 
 @;------------------------------------------------------------------------
diff --git a/collects/scribblings/mzc/mzc.scrbl b/collects/scribblings/mzc/mzc.scrbl
index 3e7422f6ad..5be4821c3b 100644
--- a/collects/scribblings/mzc/mzc.scrbl
+++ b/collects/scribblings/mzc/mzc.scrbl
@@ -4,7 +4,7 @@
 
 @(define rare @emph{This mode is rarely useful.})
 
-@title{@exec{mzc}: Compilation and Packaging}
+@title{@exec{mzc}: PLT Compilation and Packaging}
 
 The @exec{mzc} tool is a kind of Swiss-army knife for PLT Scheme
 compilation and packaging tasks. Its main action is determined through
diff --git a/collects/web-server/scribblings/web-server.scrbl b/collects/web-server/scribblings/web-server.scrbl
index 748609e460..85a5e21781 100644
--- a/collects/web-server/scribblings/web-server.scrbl
+++ b/collects/web-server/scribblings/web-server.scrbl
@@ -1,7 +1,7 @@
 #lang scribble/doc
 @require["web-server.ss"]
 
-@title[#:tag "web-server-ref"]{@bold{Web Server}: Reference Manual}
+@title[#:tag "web-server-ref"]{@bold{Web Server}: PLT HTTP Server}
 @author{Jay McCarthy (jay@"@"plt-scheme.org)}
 
 The @web-server collection provides libraries that can be used to