commit 30568ed2a20a4058db72e20b3d710e79f44b7404
parent 3530b2101e0535aed09619560143734ad1df7d39
Author: Paul Steckler <steck@stecksoft.com>
Date: Tue, 23 Jul 2002 15:34:36 +0000
typos
original commit: ce487b4ccc1258112310df6c2a456df5537b06a3
Diffstat:
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/collects/help/private/search.ss b/collects/help/private/search.ss
@@ -3,8 +3,8 @@
"docpos.ss"
"colldocs.ss"
"server.ss"
- (lib "list.ss")
- (lib "util.ss" "help" "servlets" "private"))
+ "path.ss"
+ (lib "list.ss"))
(provide do-search
doc-collections-changed)
@@ -335,7 +335,7 @@
(if (eq? 'text doc-kind)
(apply build-path doc)
(let ([file (list-ref v 2)])
- (if (hd-servlet? file)
+ (if (servlet-path? file)
file
(build-path doc file))))
(list-ref v 3) ; label
@@ -368,7 +368,7 @@
"" name
(list-ref desc 2)
(let ([filename (list-ref desc 0)])
- (if (hd-servlet? filename)
+ (if (servlet-path? filename)
filename
(combine-path/url-path doc filename)))
(list-ref desc 1)