fix for PR 8095

svn: r3265

collects/help/private/get-help-url.ss

@@ -8,11 +8,10 @@
 	   (lib "dirs.ss" "setup"))
   
   (provide/contract (get-help-url
-                     (((lambda (x)
-                        (or (path? x)
-                            (path-string? x))))
+                     (opt->
+                      ((or/c path? path-string?))
                       (string?)
-                      . opt-> . string?)))
+                      string?)))
   
   ; given a manual path, convert to absolute Web path
   ; manual path is an anchored path to a doc manual, never a servlet

collects/help/private/manuals.ss

@@ -58,8 +58,11 @@
     (let* ([entry (assoc (string->path manual) known-docs)]
 	   [name (or (and entry (cdr entry))
                      manual)]
-	   [href (get-help-url (find-doc-directory manual))])
-      `(A ((HREF ,href)) ,name)))
+           [doc-dir (find-doc-directory manual)])
+      (if doc-dir
+          (let ([href (get-help-url doc-dir)])
+            `(A ((HREF ,href)) ,name))
+          name)))
   
   ; string string string -> xexpr
   ; man is manual name