commit 602c89641c0caea90be94e46bf8ea720d420edd9
parent 4bf8ca083cc7e00cbf7c3ad7d9d46150d42eec47
Author: Jacob Matthews <jacobm@cs.uchicago.edu>
Date: Fri, 4 Feb 2005 19:43:36 +0000
Factored code that converts a path into a url into a new library and
updated other code to use that library.
original commit: b6361381ccc8b27495fa7a161cade86c9c5cf099
Diffstat:
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/collects/help/private/search.ss b/collects/help/private/search.ss
@@ -350,6 +350,7 @@
(set! hit-count (add1 hit-count))
(unless (< hit-count MAX-HIT-COUNT)
(maxxed-out)))
+
; Keyword search
(let ([keys (case doc-kind