fixed PR 8364

svn: r4735
2006-11-01 18:40:08 +00:00 · 2006-11-01 18:40:08 +00:00 · 808ef37fef
commit 808ef37fef
parent 1905669a5b
1 changed files with 3 additions and 1 deletions
--- a/collects/help/private/manuals.ss
+++ b/collects/help/private/manuals.ss
@ -150,7 +150,9 @@
                         (format "<A HREF=\"/servlets/doc-anchor.ss?file=~a&name=~a&caption=Documentation for the ~a collection\">~a collection</A>"
                                 ;; escape colons and other junk
                                 (uri-encode (path->string path))
-                                 name name name)
+                                 (uri-encode name)
+                                 (uri-encode name)
+                                 name)
                         (format "<FONT COLOR=\"RED\">~a collection: specified doc.txt file (~a) not found</FONT>"
                                 name path)))))
           collections-doc-files