From dc893a1331e2c70754999cab1d182bf1732693d0 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 28 Sep 2004 18:07:05 +0000 Subject: [PATCH] . original commit: 1187376dc12bfa7e0ad906d54b616a94c1201f83 --- collects/help/private/search.ss | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/collects/help/private/search.ss b/collects/help/private/search.ss index 15cb61b8..0e286ac4 100644 --- a/collects/help/private/search.ss +++ b/collects/help/private/search.ss @@ -170,7 +170,7 @@ ,(? string? title)) (list keyword result - (string->path file) + file label title)] [else (fail)])) @@ -369,7 +369,9 @@ (list-ref v 4) ; title (if (eq? 'text doc-kind) (apply build-path doc) - (let ([file (bytes->path (string->bytes/utf-8 (list-ref v 2)))]) + (let ([file (bytes->path + (string->bytes/utf-8 + (list-ref v 2)))]) (if (servlet-path? file) file (build-path doc file))))