From 19230340dc9d9795b527eadbf2afea8a6a2c7db5 Mon Sep 17 00:00:00 2001
From: Paul Steckler <steck@stecksoft.com>
Date: Thu, 25 Jul 2002 22:42:20 +0000
Subject: [PATCH] Help Desk header

original commit: 4cb5111cdfef5ff8d953d06f373bc33d0bb6c0b0
---
 collects/help/private/search.ss | 45 ++++++++++++++++++---------------
 1 file changed, 24 insertions(+), 21 deletions(-)

diff --git a/collects/help/private/search.ss b/collects/help/private/search.ss
index 6b1d629d..b5e225d7 100644
--- a/collects/help/private/search.ss
+++ b/collects/help/private/search.ss
@@ -31,27 +31,30 @@
   ; gets the standard title of the documentation, from the
   ; known docs list.
   (define (get-std-doc-title path doc)
-    (let ([a (assoc doc known-docs)])
-       (if a
-           (cdr a)
-           (let ([index-file (build-path path doc "index.htm")])
-             (if (file-exists? index-file)
-                 (call-with-input-file index-file
-                   (lambda (port)
-                     (let loop ()
-		       (let ([l (read-line port)])
-			 (cond
-			  [(eof-object? l)
-			   doc]
-			  [(regexp-match re:title l)
-			   =>
-			   (lambda (m)
-			     (apply
-			      string
-			      (map (lambda (x) (if (char-whitespace? x) #\space x))
-				   (string->list (cadr m)))))]
-			  [else (loop)])))))
-		 doc)))))
+    (cond
+     [(string=? doc "help")
+      "PLT Help Desk"]
+     [(assoc doc known-docs)
+      => (lambda (a) (cdr a))]
+     [else
+      (let ([index-file (build-path path doc "index.htm")])
+	(if (file-exists? index-file)
+	    (call-with-input-file index-file
+	      (lambda (port)
+		(let loop ()
+		  (let ([l (read-line port)])
+		    (cond
+		     [(eof-object? l)
+		      doc]
+		     [(regexp-match re:title l)
+		      =>
+		      (lambda (m)
+			(apply
+			 string
+			 (map (lambda (x) (if (char-whitespace? x) #\space x))
+			      (string->list (cadr m)))))]
+		     [else (loop)])))))
+	    doc))]))
             
   (define (reset-doc-lists)
   ; Locate standard HTML documentation