From 68cd3e23d69c9c67c47e16aaf228bab8c3960455 Mon Sep 17 00:00:00 2001 From: Jens Axel Soegaard Date: Sat, 25 Aug 2007 20:19:24 +0000 Subject: [PATCH] Contents of deleted servlets are in home.ss. Added launch.ss to omitted files in info.ss. svn: r7162 --- collects/help/info.ss | 3 +- collects/help/servlets/howtodrscheme.ss | 29 -------- collects/help/servlets/howtoprogram.ss | 35 --------- collects/help/servlets/howtoscheme.ss | 28 ------- collects/help/servlets/howtouse.ss | 73 ------------------- .../help/servlets/private/top-search-bar.ss | 0 6 files changed, 2 insertions(+), 166 deletions(-) delete mode 100644 collects/help/servlets/howtodrscheme.ss delete mode 100644 collects/help/servlets/howtoprogram.ss delete mode 100644 collects/help/servlets/howtoscheme.ss delete mode 100644 collects/help/servlets/howtouse.ss delete mode 100644 collects/help/servlets/private/top-search-bar.ss diff --git a/collects/help/info.ss b/collects/help/info.ss index 5c67863dff..68b0e27b5e 100644 --- a/collects/help/info.ss +++ b/collects/help/info.ss @@ -15,4 +15,5 @@ "Mr: (require (lib \"help-desk.ss\" \"help\"))") (define mred-launcher-libraries (list "help.ss")) (define mred-launcher-names (list "Help Desk")) - (define install-collection "installer.ss")) + (define install-collection "installer.ss") + (define compile-omit-files '("launch.ss"))) diff --git a/collects/help/servlets/howtodrscheme.ss b/collects/help/servlets/howtodrscheme.ss deleted file mode 100644 index fb5d0183bb..0000000000 --- a/collects/help/servlets/howtodrscheme.ss +++ /dev/null @@ -1,29 +0,0 @@ -(module howtodrscheme mzscheme - (require "private/headelts.ss" - "../private/manuals.ss" - (lib "servlet.ss" "web-server")) - (provide interface-version timeout start) - (define interface-version 'v1) - (define timeout +inf.0) - (define (start initial-request) - (with-errors-to-browser - send/finish - (lambda () - `(html - (head ,hd-css ,@hd-links (title "DrScheme")) - (body - (h1 "DrScheme") - "DrScheme is PLT's flagship programming environment. " - "See " (a ((href "/servlets/scheme/how.ss")) "Software & Components") - " for a guide to the full suite of PLT tools." - (ul (li (b (a ([href ,(get-manual-index "tour")])) "Tour") - ": An introduction to DrScheme") - (li (b ,(manual-entry "drscheme" - "graphical interface" - "Interface Essentials")) - ": Quick-start jump into the user manual") - (li (b (a ([href "/servlets/scheme/what.ss"]) - "Languages")) - ": Languages supported by DrScheme") - (li (b ,(main-manual-page "drscheme")) - ": The complete user manual")))))))) \ No newline at end of file diff --git a/collects/help/servlets/howtoprogram.ss b/collects/help/servlets/howtoprogram.ss deleted file mode 100644 index a882e0b745..0000000000 --- a/collects/help/servlets/howtoprogram.ss +++ /dev/null @@ -1,35 +0,0 @@ -(module howtoprogram mzscheme - (require "private/util.ss" - "private/headelts.ss" - "../private/manuals.ss" - (lib "servlet.ss" "web-server")) - (provide interface-version timeout start) - (define interface-version 'v1) - (define timeout +inf.0) - (define (start initial-request) - (with-errors-to-browser - send/finish - (lambda () - `(html - (head ,hd-css ,@hd-links (title "Program Design")) - (body - (h1 "Program Design") - ,(color-highlight `(h2 "For Students")) - "The textbook " (i "How to Design Programs") - " provides an introduction to programming using the DrScheme" - " environment. The book is not distributed with DrScheme, but it" - " is available online at " - (pre " " (a ([href "http://www.htdp.org/"] [target "_top"]) - "http://www.htdp.org/")) - (p) - "Help Desk provides the following interactive support for the textbook:" - (ul (li (b (a ([href "/servlets/teachpacks.ss"]) - "Teachpack documentation")))) - (p) - ,(color-highlight `(h2 "For Experienced Programmers")) - (ul (li (b (a ((href ,(get-manual-index "t-y-scheme"))) - "Teach Yourself Scheme in Fixnum Days")) - ": For programmers with lots of experience in other languages")) - ,(color-highlight `(h2 "For Teachers and Researchers")) - (ul (li (b (a ([href "/servlets/research/why.ss"]) "Why DrScheme?")) - ": PLT's vision ")))))))) \ No newline at end of file diff --git a/collects/help/servlets/howtoscheme.ss b/collects/help/servlets/howtoscheme.ss deleted file mode 100644 index 71adf73963..0000000000 --- a/collects/help/servlets/howtoscheme.ss +++ /dev/null @@ -1,28 +0,0 @@ -(module howtodrscheme mzscheme - (require (lib "servlet.ss" "web-server") - "../private/manuals.ss" - "private/html.ss") - (provide interface-version timeout start) - (define interface-version 'v1) - (define timeout +inf.0) - (define (start initial-request) - (with-errors-to-browser - send/finish - (lambda () - (html-page - #:title "DrScheme" - #:bodies `((h1 "DrScheme") - "DrScheme is PLT's flagship programming environment. " - "See " (a ((href "/servlets/scheme/how.ss")) "Software & Components") - " for a guide to the full suite of PLT tools." - (ul (li (b (a ([href ,(get-manual-index "tour")])) "Tour") - ": An introduction to DrScheme") - (li (b ,(manual-entry "drscheme" - "graphical interface" - "Interface Essentials")) - ": Quick-start jump into the user manual") - (li (b (a ([href "/servlets/scheme/what.ss"]) - "Languages")) - ": Languages supported by DrScheme") - (li (b ,(main-manual-page "drscheme")) - ": The complete user manual")))))))) diff --git a/collects/help/servlets/howtouse.ss b/collects/help/servlets/howtouse.ss deleted file mode 100644 index 13561310fd..0000000000 --- a/collects/help/servlets/howtouse.ss +++ /dev/null @@ -1,73 +0,0 @@ -(module howtouse mzscheme - (require "private/util.ss" - "private/headelts.ss" - (lib "string-constant.ss" "string-constants") - (lib "servlet.ss" "web-server")) - (provide interface-version timeout start) - (define interface-version 'v1) - (define timeout +inf.0) - (define (start initial-request) - (with-errors-to-browser - send/finish - (lambda () - `(html - (head ,hd-css ,@hd-links (title "Help Desk")) - (body - (h1 "Help Desk") - (p) - (a ([name "helpme"] [value "Help Desk"])) - "Help Desk (the program you're currently running) is a " - "complete source of information about PLT software, " - "including DrScheme, MzScheme, and MrEd." - (p) - "Use Help Desk to find information in either of two ways:" - (p) - ,(color-highlight - "1. Navigate the Help Desk information pages by" - " clicking on hyperlinks.") - (ul - (li "The " (b ,(string-constant home)) " button " - "at the top of the page always takes " - "you back to the starting page.") - (li "The " (b "Manuals") " link (in the " (b "Software") " section on the main page) displays a list" - " of manuals and other documentation.") - (li "The " (b "Send a bug report") - " link allows you to submit bug reports to PLT.")) - (p) - (a ([name "helpsearch"] [value "Searching in Help Desk"])) - (a ([name "search"])) - ,(color-highlight - "2. Search for terms using the " - `(b "Find docs for") " field at the bottom of Help Desk.") - (ul - (li "Enter one or more terms into the " (b "Find docs for") " field.") - (li "Click the " (b "Search") " button " - "(or hit Enter) to start a search, " - "or choose the " (b "Feeling Lucky") " menu item.") - (li "If you click on the " (b "Search") " button, " - "Help Desk scans the documentation pages and " - "returns a list of hyperlinks for " - (i "keyword") ", " - (i "index entry") ", and " - (i "raw text") " matches:" - (ul (li (i "Keywords") " are Scheme names, such as " (tt "define") - " and " (tt "cons") ".") - (li (i "Index entries") - " are topical phrases, such as \"lists\".") - (li (i "Raw text") " results are fragments of " - "text from the documentation pages. " - "(Raw text results are useful only as " - "a last resort.)"))) - (li "If you perform a lucky search, " - "Help Desk goes directly to the first item of documentation " - "that matches the search term, without displaying links to " - "all relevant items.")) - (p) - "Help Desk sorts search results according to their source." - (p) - "If you open Help Desk inside DrScheme, the search results are " - "filtered based on the language you are using. Use " - (b "Choose Language...") - " menu item from the " - (b "Language") - " menu to change the language.")))))) \ No newline at end of file diff --git a/collects/help/servlets/private/top-search-bar.ss b/collects/help/servlets/private/top-search-bar.ss deleted file mode 100644 index e69de29bb2..0000000000