From 27b0e2a7c2b30aadc43ecf30877a72ed44a01377 Mon Sep 17 00:00:00 2001 From: Ryan Culpepper Date: Tue, 11 Sep 2007 15:54:25 +0000 Subject: [PATCH] added planet info to help desk manuals listing and search results svn: r7318 original commit: 9096231611f24b022876af5c9f740c375911419d --- collects/help/private/search.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/help/private/search.ss b/collects/help/private/search.ss index 5ef5af16..8dcf76c6 100644 --- a/collects/help/private/search.ss +++ b/collects/help/private/search.ss @@ -68,7 +68,7 @@ (set! doc-names (append std-doc-names - (map (lambda (s) (format "the ~a collection" s)) + (map (lambda (s) (format "the ~a" s)) txt-doc-names))) (set! doc-kinds (append (map (lambda (x) 'html) std-docs) (map (lambda (x) 'text) txt-docs)))