diff --git a/collects/help/doc.txt b/collects/help/doc.txt index ad40904c68..7a31d22385 100644 --- a/collects/help/doc.txt +++ b/collects/help/doc.txt @@ -180,7 +180,7 @@ documentation. > (finddoc manual index-key label) This procedure accepts three strings. The first is the name of a doc collection, the second is an index entry in that manual, and - the final is a descriptive string. It returns a string representation + the final is a descriptive string. It returns a xexpr representation of an anchor (in HTML) that points to that index entry in the manual. If the manual is not found, or the index-key is not in the manual, it returns html code that shows an error. Because the link is diff --git a/collects/help/private/finddoc.ss b/collects/help/private/finddoc.ss index b45415b59e..10cf41af40 100644 --- a/collects/help/private/finddoc.ss +++ b/collects/help/private/finddoc.ss @@ -16,7 +16,7 @@ (match (lookup manual index-key label) [(docdir index-key filename anchor title) `(a ((href ,(string-append - "file:" (build-path docdir filename)))) + "file:" (path->string (build-path docdir filename))))) ,label)] [m m]))