fix url->manual-dir conversion

svn: r10103
2008-06-03 00:31:45 +00:00 · 2008-06-03 00:31:45 +00:00 · bec07c55bc
commit bec07c55bc
parent df62a12b07
1 changed files with 4 additions and 1 deletions
--- a/collects/scribblings/main/private/search.js
+++ b/collects/scribblings/main/private/search.js
@ -196,7 +196,10 @@ function MaxCompares(pat, strs) {
 }

 function UrlToManual(url) {
-  return url.replace(/\/[^\/]*$/, "").replace(/^(.*\/|>)/, "");
+  return url.replace(/#.*$/, "")       // remove fragment,
+            .replace(/\?.*$/, "")      // query,
+            .replace(/\/[^\/]*$/, "")  // filename,
+            .replace(/^(.*\/|>)/, ""); // and directory.
 }

 function CompileTerm(term) {