From da9fee0afc8986838bfaa8006cd4a14810e7ae74 Mon Sep 17 00:00:00 2001
From: Jay McCarthy <jay@racket-lang.org>
Date: Wed, 6 Jun 2007 15:34:36 +0000
Subject: [PATCH] tags

svn: r6505
---
 collects/web-server/docs/reference/configuration.scrbl   | 3 ++-
 collects/web-server/docs/reference/managers.scrbl        | 3 ++-
 collects/web-server/docs/reference/private.scrbl         | 3 ++-
 collects/web-server/docs/reference/reference.scrbl       | 2 +-
 collects/web-server/docs/reference/running.scrbl         | 3 ++-
 collects/web-server/docs/reference/servlet-env.scrbl     | 3 ++-
 collects/web-server/docs/reference/servlet.scrbl         | 3 ++-
 collects/web-server/docs/reference/web-config-unit.scrbl | 3 ++-
 8 files changed, 15 insertions(+), 8 deletions(-)

diff --git a/collects/web-server/docs/reference/configuration.scrbl b/collects/web-server/docs/reference/configuration.scrbl
index 56d6a76f12..6777861eb5 100644
--- a/collects/web-server/docs/reference/configuration.scrbl
+++ b/collects/web-server/docs/reference/configuration.scrbl
@@ -2,7 +2,8 @@
 @require["../web-server.ss"]
 @; XXX require mzscheme, url.ss, and contract.ss
 
-@title[#:style 'toc]{Configuration}
+@title[#:tag "configuration"
+       #:style 'toc]{Configuration}
 
 There are a number of libraries and utilities useful for
 configuring the @file{web-server}.
diff --git a/collects/web-server/docs/reference/managers.scrbl b/collects/web-server/docs/reference/managers.scrbl
index 1f712bc99b..9502803667 100644
--- a/collects/web-server/docs/reference/managers.scrbl
+++ b/collects/web-server/docs/reference/managers.scrbl
@@ -1,7 +1,8 @@
 #reader(lib "docreader.ss" "scribble")
 @require["../web-server.ss"]
 
-@title[#:style 'toc]{Continuation Managers}
+@title[#:tag "managers"
+       #:style 'toc]{Continuation Managers}
 
 Since Scheme servlets store their continuations on the server, they take
 up memory on the server. Furthermore, garbage collection can not be used
diff --git a/collects/web-server/docs/reference/private.scrbl b/collects/web-server/docs/reference/private.scrbl
index 31dd88c65a..dba09ca324 100644
--- a/collects/web-server/docs/reference/private.scrbl
+++ b/collects/web-server/docs/reference/private.scrbl
@@ -1,7 +1,8 @@
 #reader(lib "docreader.ss" "scribble")
 @require["../web-server.ss"]
 
-@title[#:style 'toc]{Internal}
+@title[#:tag "private"
+       #:style 'toc]{Internal}
 
 The @file{web-server} is a complicated piece of software and as a result,
 defines a number of interesting and independently useful sub-components.
diff --git a/collects/web-server/docs/reference/reference.scrbl b/collects/web-server/docs/reference/reference.scrbl
index 233eb46ab0..32bc6c39fe 100644
--- a/collects/web-server/docs/reference/reference.scrbl
+++ b/collects/web-server/docs/reference/reference.scrbl
@@ -1,7 +1,7 @@
 #reader(lib "docreader.ss" "scribble")
 @require["../web-server.ss"]
 
-@title{Web Server Reference Manual}
+@title[#:tag "web-server-ref"]{Web Server Reference Manual}
 
 The @file{web-server} collection provides libraries that can be used to
 develop Web applications in Scheme.
diff --git a/collects/web-server/docs/reference/running.scrbl b/collects/web-server/docs/reference/running.scrbl
index 055e557a5b..9aa222f4d9 100644
--- a/collects/web-server/docs/reference/running.scrbl
+++ b/collects/web-server/docs/reference/running.scrbl
@@ -1,7 +1,8 @@
 #reader(lib "docreader.ss" "scribble")
 @require["../web-server.ss"]
 
-@title[#:style 'toc]{Running the Web Server}
+@title[#:tag "run.ss"
+       #:style 'toc]{Running the Web Server}
 
 There are a number of ways to run the Web Server. The two primary ways
 are through a command-line tool or through a function call.
diff --git a/collects/web-server/docs/reference/servlet-env.scrbl b/collects/web-server/docs/reference/servlet-env.scrbl
index 0fb74b70d0..ee5d1f5b55 100644
--- a/collects/web-server/docs/reference/servlet-env.scrbl
+++ b/collects/web-server/docs/reference/servlet-env.scrbl
@@ -1,7 +1,8 @@
 #reader(lib "docreader.ss" "scribble")
 @require["../web-server.ss"]
 
-@title[#:style 'toc]{Servlet Environment}
+@title[#:tag "servlet-env.ss"
+       #:style 'toc]{Servlet Environment}
 
 The @file{web-server} provides a means of running Scheme servlets
 from within DrScheme, or any other REPL.
diff --git a/collects/web-server/docs/reference/servlet.scrbl b/collects/web-server/docs/reference/servlet.scrbl
index 24ee634ca2..723a863a74 100644
--- a/collects/web-server/docs/reference/servlet.scrbl
+++ b/collects/web-server/docs/reference/servlet.scrbl
@@ -1,7 +1,8 @@
 #reader(lib "docreader.ss" "scribble")
 @require["../web-server.ss"]
 
-@title[#:style 'toc]{Scheme Servlets}
+@title[#:tag "servlet"
+       #:style 'toc]{Scheme Servlets}
 
 The @file{web-server} allows servlets to be written in Scheme. It
 provides the supporting API, described below, for the construction
diff --git a/collects/web-server/docs/reference/web-config-unit.scrbl b/collects/web-server/docs/reference/web-config-unit.scrbl
index 68bc825cb9..b3927bca3a 100644
--- a/collects/web-server/docs/reference/web-config-unit.scrbl
+++ b/collects/web-server/docs/reference/web-config-unit.scrbl
@@ -1,7 +1,8 @@
 #reader(lib "docreader.ss" "scribble")
 @require["../web-server.ss"]
 
-@title[#:style 'toc]{Web Config Unit}
+@title[#:tag "web-config-unit.ss"
+       #:style 'toc]{Web Config Unit}
 
 The @file{web-server} offers a unit-based approach to configuring the server.