From fe3186b6722432ed520e82fbd5879e42698ecc96 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Wed, 7 Jun 2006 16:54:53 +0000
Subject: [PATCH] fix for PR 8095

svn: r3265
---
 collects/help/private/get-help-url.ss | 7 +++----
 collects/help/private/manuals.ss      | 7 +++++--
 2 files changed, 8 insertions(+), 6 deletions(-)

diff --git a/collects/help/private/get-help-url.ss b/collects/help/private/get-help-url.ss
index 1aca6ca1e4..5ccca44c2d 100644
--- a/collects/help/private/get-help-url.ss
+++ b/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
diff --git a/collects/help/private/manuals.ss b/collects/help/private/manuals.ss
index e74b49c306..b840512bdc 100644
--- a/collects/help/private/manuals.ss
+++ b/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