From fff894d7100add97eddfe8f965e7c1f558abd87c Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@racket-lang.org>
Date: Fri, 11 Jan 2008 02:29:49 +0000
Subject: [PATCH] remove the now-redundant main-doc option

svn: r8288
---
 collects/file/scribblings/info.ss       | 2 +-
 collects/net/scribblings/info.ss        | 2 +-
 collects/scribblings/drscheme/info.ss   | 2 +-
 collects/scribblings/foreign/info.ss    | 2 +-
 collects/scribblings/framework/info.ss  | 2 +-
 collects/scribblings/gui/info.ss        | 2 +-
 collects/scribblings/guide/info.ss      | 2 +-
 collects/scribblings/honu/info.ss       | 2 +-
 collects/scribblings/htdp-langs/info.ss | 4 ++--
 collects/scribblings/inside/info.ss     | 2 +-
 collects/scribblings/quick/info.ss      | 2 +-
 collects/scribblings/reference/info.ss  | 2 +-
 collects/scribblings/scribble/info.ss   | 2 +-
 collects/scribblings/slideshow/info.ss  | 2 +-
 collects/scribblings/start/info.ss      | 2 +-
 collects/scribblings/tools/info.ss      | 2 +-
 collects/trace/scribblings/info.ss      | 2 +-
 collects/web-server/info.ss             | 2 +-
 18 files changed, 19 insertions(+), 19 deletions(-)

diff --git a/collects/file/scribblings/info.ss b/collects/file/scribblings/info.ss
index c77e51ba0b..2666bf9bfd 100644
--- a/collects/file/scribblings/info.ss
+++ b/collects/file/scribblings/info.ss
@@ -1,3 +1,3 @@
 (module info setup/infotab
   (define name "File documentation")
-  (define scribblings '(("file.scrbl" (multi-page main-doc)))))
+  (define scribblings '(("file.scrbl" (multi-page)))))
diff --git a/collects/net/scribblings/info.ss b/collects/net/scribblings/info.ss
index 3cbc2bca08..49b934568a 100644
--- a/collects/net/scribblings/info.ss
+++ b/collects/net/scribblings/info.ss
@@ -1,3 +1,3 @@
 (module info setup/infotab
   (define name "Net documentation")
-  (define scribblings '(("net.scrbl" (multi-page main-doc)))))
+  (define scribblings '(("net.scrbl" (multi-page)))))
diff --git a/collects/scribblings/drscheme/info.ss b/collects/scribblings/drscheme/info.ss
index 358b7dc339..190aac64e5 100644
--- a/collects/scribblings/drscheme/info.ss
+++ b/collects/scribblings/drscheme/info.ss
@@ -1,4 +1,4 @@
 (module info setup/infotab
   (define name "Scribblings: DrScheme")
-  (define scribblings '(("drscheme.scrbl" (#;multi-page main-doc))))
+  (define scribblings '(("drscheme.scrbl" (#;multi-page))))
   (define doc-categories '((tool 1))))
diff --git a/collects/scribblings/foreign/info.ss b/collects/scribblings/foreign/info.ss
index 99bacc4f36..c83ff14151 100644
--- a/collects/scribblings/foreign/info.ss
+++ b/collects/scribblings/foreign/info.ss
@@ -1,5 +1,5 @@
 (module info setup/infotab
   (define name "Scribblings: FFI")
-  (define scribblings '(("foreign.scrbl" (multi-page main-doc))))
+  (define scribblings '(("foreign.scrbl" (multi-page))))
   (define doc-categories '(foreign))
   (define doc-priorities '(1)))
diff --git a/collects/scribblings/framework/info.ss b/collects/scribblings/framework/info.ss
index a2a5d61089..f926a7d3bc 100644
--- a/collects/scribblings/framework/info.ss
+++ b/collects/scribblings/framework/info.ss
@@ -1,3 +1,3 @@
 (module info setup/infotab
   (define name "Scribblings: Framework")
-  (define scribblings '(("framework.scrbl" (#;multi-page main-doc)))))
+  (define scribblings '(("framework.scrbl" (#;multi-page)))))
diff --git a/collects/scribblings/gui/info.ss b/collects/scribblings/gui/info.ss
index 9657d80d56..06ac2ada67 100644
--- a/collects/scribblings/gui/info.ss
+++ b/collects/scribblings/gui/info.ss
@@ -1,4 +1,4 @@
 (module info setup/infotab
   (define name "Scribblings: GUI")
-  (define scribblings '(("gui.scrbl" (multi-page main-doc)))))
+  (define scribblings '(("gui.scrbl" (multi-page)))))
 
diff --git a/collects/scribblings/guide/info.ss b/collects/scribblings/guide/info.ss
index d455aa7613..d3cc25800b 100644
--- a/collects/scribblings/guide/info.ss
+++ b/collects/scribblings/guide/info.ss
@@ -1,4 +1,4 @@
 (module info setup/infotab
   (define name "Scribblings: Guide")
-  (define scribblings '(("guide.scrbl" (multi-page main-doc))))
+  (define scribblings '(("guide.scrbl" (multi-page))))
   (define doc-categories '(getting-started)))
diff --git a/collects/scribblings/honu/info.ss b/collects/scribblings/honu/info.ss
index 9f793c2f95..11a5750d9b 100644
--- a/collects/scribblings/honu/info.ss
+++ b/collects/scribblings/honu/info.ss
@@ -1,5 +1,5 @@
 (module info setup/infotab
   (define name "Scribblings: Honu")
-  (define scribblings '(("honu.scrbl" (multi-page main-doc))))
+  (define scribblings '(("honu.scrbl" (multi-page))))
   (define doc-categories '(other)))
 
diff --git a/collects/scribblings/htdp-langs/info.ss b/collects/scribblings/htdp-langs/info.ss
index 2c070a627b..0c5f5504ae 100644
--- a/collects/scribblings/htdp-langs/info.ss
+++ b/collects/scribblings/htdp-langs/info.ss
@@ -1,4 +1,4 @@
 (module info setup/infotab
   (define name "Scribblings: HtDP Languages")
-  (define scribblings '(("htdp-langs.scrbl" (multi-page main-doc))))
-  (define doc-categories '((language -1))))
\ No newline at end of file
+  (define scribblings '(("htdp-langs.scrbl" (multi-page))))
+  (define doc-categories '((language -1))))
diff --git a/collects/scribblings/inside/info.ss b/collects/scribblings/inside/info.ss
index 1b4dc57e44..7f91d4b24b 100644
--- a/collects/scribblings/inside/info.ss
+++ b/collects/scribblings/inside/info.ss
@@ -1,4 +1,4 @@
 (module info setup/infotab
   (define name "Scribblings: Inside PLT Scheme")
-  (define scribblings '(("inside.scrbl" (multi-page main-doc))))
+  (define scribblings '(("inside.scrbl" (multi-page))))
   (define doc-categories '(foreign)))
diff --git a/collects/scribblings/quick/info.ss b/collects/scribblings/quick/info.ss
index f084b83105..e3a9b00de4 100644
--- a/collects/scribblings/quick/info.ss
+++ b/collects/scribblings/quick/info.ss
@@ -1,4 +1,4 @@
 (module info setup/infotab
   (define name "Scribblings: Quick")
-  (define scribblings '(("quick.scrbl" (main-doc))))
+  (define scribblings '(("quick.scrbl" ())))
   (define doc-categories '((getting-started 1))))
diff --git a/collects/scribblings/reference/info.ss b/collects/scribblings/reference/info.ss
index b65237b20f..a3e98f2ee5 100644
--- a/collects/scribblings/reference/info.ss
+++ b/collects/scribblings/reference/info.ss
@@ -1,5 +1,5 @@
 (module info setup/infotab
   (define name "Scribblings: Reference")
-  (define scribblings '(("reference.scrbl" (multi-page main-doc))))
+  (define scribblings '(("reference.scrbl" (multi-page))))
   (define doc-categories '(language)))
 
diff --git a/collects/scribblings/scribble/info.ss b/collects/scribblings/scribble/info.ss
index f9850b27d6..0ee0084bb2 100644
--- a/collects/scribblings/scribble/info.ss
+++ b/collects/scribblings/scribble/info.ss
@@ -1,4 +1,4 @@
 (module info setup/infotab
   (define name "Scribblings: Scribble")
-  (define scribblings '(("scribble.scrbl" (multi-page main-doc))))
+  (define scribblings '(("scribble.scrbl" (multi-page))))
   (define doc-categories '(tool)))
diff --git a/collects/scribblings/slideshow/info.ss b/collects/scribblings/slideshow/info.ss
index 8a3709f24a..7a56136e3a 100644
--- a/collects/scribblings/slideshow/info.ss
+++ b/collects/scribblings/slideshow/info.ss
@@ -1,4 +1,4 @@
 (module info setup/infotab
   (define name "Scribblings: Slideshow")
-  (define scribblings '(("slideshow.scrbl" (multi-page main-doc))))
+  (define scribblings '(("slideshow.scrbl" (multi-page))))
   (define doc-categories '(tool)))
diff --git a/collects/scribblings/start/info.ss b/collects/scribblings/start/info.ss
index f468dcd0de..2010807a4a 100644
--- a/collects/scribblings/start/info.ss
+++ b/collects/scribblings/start/info.ss
@@ -1,4 +1,4 @@
 (module info setup/infotab
   (define name "Scribblings: Start")
-  (define scribblings '(("start.scrbl" (main-doc always-run))))
+  (define scribblings '(("start.scrbl" (always-run))))
   (define doc-categories '(omit)))
diff --git a/collects/scribblings/tools/info.ss b/collects/scribblings/tools/info.ss
index 677b128170..351fb7c656 100644
--- a/collects/scribblings/tools/info.ss
+++ b/collects/scribblings/tools/info.ss
@@ -1,4 +1,4 @@
 (module info setup/infotab
   (define name "Scribblings: Tools")
-  (define scribblings '(("tools.scrbl" (multi-page main-doc))))
+  (define scribblings '(("tools.scrbl" (multi-page))))
   (define doc-categories '(other)))
diff --git a/collects/trace/scribblings/info.ss b/collects/trace/scribblings/info.ss
index c81f0d0f89..5a7041417b 100644
--- a/collects/trace/scribblings/info.ss
+++ b/collects/trace/scribblings/info.ss
@@ -1,3 +1,3 @@
 (module info setup/infotab
   (define name "Calltrace documentation")
-  (define scribblings '(("trace.scrbl" (main-doc)))))
\ No newline at end of file
+  (define scribblings '(("trace.scrbl" ()))))
diff --git a/collects/web-server/info.ss b/collects/web-server/info.ss
index d6a2feae9c..edbb51da90 100644
--- a/collects/web-server/info.ss
+++ b/collects/web-server/info.ss
@@ -1,6 +1,6 @@
 (module info setup/infotab
   (define name "Web Server")
-  (define scribblings '(("scribblings/web-server.scrbl" (multi-page main-doc))))
+  (define scribblings '(("scribblings/web-server.scrbl" (multi-page))))
   (define doc-categories '(tool))
 
   (define mzscheme-launcher-libraries