Help Desk header

original commit: 4cb5111cdfef5ff8d953d06f373bc33d0bb6c0b0

collects/help/private/search.ss

@@ -31,9 +31,12 @@
   ; 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)
+    (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
@@ -51,7 +54,7 @@
 			 (map (lambda (x) (if (char-whitespace? x) #\space x))
 			      (string->list (cadr m)))))]
 		     [else (loop)])))))
-		 doc)))))
+	    doc))]))
             
   (define (reset-doc-lists)
   ; Locate standard HTML documentation