From bec07c55bcfe941cea2c6c572f49e765b375f9a1 Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@racket-lang.org>
Date: Tue, 3 Jun 2008 00:31:45 +0000
Subject: [PATCH] fix url->manual-dir conversion

svn: r10103
---
 collects/scribblings/main/private/search.js | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/collects/scribblings/main/private/search.js b/collects/scribblings/main/private/search.js
index 8d5cb37702..8712ab4766 100644
--- 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) {