From 1fae7ae2b05dc5f48d0ecdcf8c56fdddac31ed7c Mon Sep 17 00:00:00 2001 From: Jens Axel Soegaard Date: Sun, 26 Aug 2007 20:52:12 +0000 Subject: [PATCH] Note on installed manuals now only appear for external-browser. svn: r7184 --- collects/help/servlets/home.ss | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/collects/help/servlets/home.ss b/collects/help/servlets/home.ss index 622f1a4af2..047b1f5f4f 100644 --- a/collects/help/servlets/home.ss +++ b/collects/help/servlets/home.ss @@ -50,10 +50,12 @@ (html-subpage "PLT Scheme Help Desk: Installed Manuals" (html-top initial-request) (left-items) "" - `((h3 "NOTE") - (p "To see the list of manuals installed on " (i "your") " computer, " - " use the HelpDesk from within DrScheme. This list of manuals reflects " - "what is installed on this HelpDesk server only.") + `(,@(if (eq? (helpdesk-platform) 'external-browser) + '((h3 "NOTE") + (p "To see the list of manuals installed on " (i "your") " computer, " + " use the HelpDesk from within DrScheme. This list of manuals reflects " + "what is installed on this HelpDesk server only.")) + '()) (VERBATIM ,(find-manuals)) (p) (i "Version: " ,(plt-version))))]