From 66701e96c928e08b5c49363ef1af6008472036f1 Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@racket-lang.org>
Date: Wed, 9 Jan 2008 15:44:48 +0000
Subject: [PATCH] rename "docs" -> "doc"

svn: r8271
---
 collects/web-server/docs/lang.scrbl    | 2 +-
 collects/web-server/docs/servlet.scrbl | 2 +-
 collects/web-server/info.ss            | 8 ++++----
 3 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/collects/web-server/docs/lang.scrbl b/collects/web-server/docs/lang.scrbl
index dcd4b99efc..f7d04cad9a 100644
--- a/collects/web-server/docs/lang.scrbl
+++ b/collects/web-server/docs/lang.scrbl
@@ -14,7 +14,7 @@ is different and what API is provided.
 @section[#:tag "lang-servlets"]{Definition}
 @require[(for-label "dummy-language-servlet.ss")] ; to give a binding context
 
-@declare-exporting[web-server/docs/dummy-language-servlet]
+@declare-exporting[web-server/doc/dummy-language-servlet]
 
 A @defterm{Web language servlet} is a module written in the
 @scheme[(lib "lang.ss" "web-server")] module language. It should provide
diff --git a/collects/web-server/docs/servlet.scrbl b/collects/web-server/docs/servlet.scrbl
index 495d9937de..87b63fdb40 100644
--- a/collects/web-server/docs/servlet.scrbl
+++ b/collects/web-server/docs/servlet.scrbl
@@ -14,7 +14,7 @@ of these servlets. This API is provided by @filepath{servlet.ss}.
 @section[#:tag "module-servlets"]{Definition}
 @require[(for-label "dummy-servlet.ss")] ; to give a binding context
 
-@declare-exporting[web-server/docs/dummy-servlet]
+@declare-exporting[web-server/doc/dummy-servlet]
 
 A @defterm{servlet} is a module that provides the following:
 
diff --git a/collects/web-server/info.ss b/collects/web-server/info.ss
index 4891e1f812..76dbfc9491 100644
--- a/collects/web-server/info.ss
+++ b/collects/web-server/info.ss
@@ -1,8 +1,8 @@
 (module info setup/infotab
-  (define name "Web Server")  
-  (define scribblings '(("docs/web-server.scrbl" (multi-page main-doc))))
-  
+  (define name "Web Server")
+  (define scribblings '(("doc/web-server.scrbl" (multi-page main-doc))))
+
   (define mzscheme-launcher-libraries
     (list "main.ss"))
   (define mzscheme-launcher-names
-    (list "PLT Web Server")))
\ No newline at end of file
+    (list "PLT Web Server")))