diff --git a/collects/scribblings/main/config.ss b/collects/scribblings/main/config.ss index c9a169f2c6..60f637ed45 100644 --- a/collects/scribblings/main/config.ss +++ b/collects/scribblings/main/config.ss @@ -20,8 +20,6 @@ (acks "Acknowledgements" plt "acks/index.html") (release "Release Notes" plt "release/index.html") --- - (index "Master Index" user "master-index/index.html") - --- (bugreport "Report a Bug" #f ,(format "~a?v=~a" bug-url (version))))) ;; Section definitions for manuals that appear on the start page. diff --git a/collects/scribblings/main/info.ss b/collects/scribblings/main/info.ss index c822081879..e6d3c16420 100644 --- a/collects/scribblings/main/info.ss +++ b/collects/scribblings/main/info.ss @@ -4,7 +4,6 @@ '(("start.scrbl" (main-doc-root always-run depends-all-main no-depend-on) (omit)) ("search.scrbl" (depends-all-main no-depend-on) (omit)) - ("master-index.scrbl" (depends-all-main no-depend-on) (omit)) ("getting-started.scrbl" () (omit)) ("license.scrbl" () (omit)) ("acks.scrbl" () (omit)) diff --git a/collects/scribblings/main/master-index.scrbl b/collects/scribblings/main/master-index.scrbl deleted file mode 100644 index 4f424cd676..0000000000 --- a/collects/scribblings/main/master-index.scrbl +++ /dev/null @@ -1,8 +0,0 @@ -#lang scribble/doc -@(require scribble/basic - scribble/decode - "private/utils.ss") - -@main-page['index #t] - -@(index-block) diff --git a/collects/scribblings/main/user/info.ss b/collects/scribblings/main/user/info.ss index e1a14bf6d2..777b604ff9 100644 --- a/collects/scribblings/main/user/info.ss +++ b/collects/scribblings/main/user/info.ss @@ -2,5 +2,4 @@ (define scribblings '(("start.scrbl" (user-doc-root always-run depends-all no-depend-on) (omit)) - ("search.scrbl" (user-doc depends-all no-depend-on) (omit)) - ("master-index.scrbl" (user-doc depends-all no-depend-on) (omit)))) + ("search.scrbl" (user-doc depends-all no-depend-on) (omit)))) diff --git a/collects/scribblings/main/user/master-index.scrbl b/collects/scribblings/main/user/master-index.scrbl deleted file mode 100644 index f4a8ecd8fe..0000000000 --- a/collects/scribblings/main/user/master-index.scrbl +++ /dev/null @@ -1,8 +0,0 @@ -#lang scribble/doc -@(require scribble/basic - scribble/decode - "../private/utils.ss") - -@main-page['index #f] - -@(index-block)