From 30568ed2a20a4058db72e20b3d710e79f44b7404 Mon Sep 17 00:00:00 2001 From: Paul Steckler Date: Tue, 23 Jul 2002 15:34:36 +0000 Subject: [PATCH] typos original commit: ce487b4ccc1258112310df6c2a456df5537b06a3 --- collects/help/private/search.ss | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/collects/help/private/search.ss b/collects/help/private/search.ss index 66c3690a..6b1d629d 100644 --- 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)