From 4bf8ca083cc7e00cbf7c3ad7d9d46150d42eec47 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 3 Feb 2005 04:42:08 +0000 Subject: [PATCH] . original commit: 1cf2131266cffb1d65f7e198056af6a3a7530479 --- collects/help/private/search.ss | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/collects/help/private/search.ss b/collects/help/private/search.ss index 526c3912..e02a3a6b 100644 --- a/collects/help/private/search.ss +++ b/collects/help/private/search.ss @@ -69,7 +69,7 @@ (define-values (txt-docs txt-doc-names) (colldocs)) (set! docs (append std-docs txt-docs)) - + (set! doc-names (append std-doc-names (map (lambda (s) (format "the ~a collection" s)) @@ -116,8 +116,8 @@ html-keywords doc (lambda () - (with-handlers ([exn:fail:read? (lambda (x) null)] - [exn:fail:filesystem? (lambda (x) null)]) + (with-handlers ([exn:fail:read? (λ (x) null)] + [exn:fail:filesystem? (λ (x) null)]) (transform-keywords (with-input-from-file (build-path doc "keywords") read))))))