From 4a31fa8cd14c0ecf5f7d0da8dc7d7473c9a78df9 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 16 Oct 2007 13:39:56 +0000 Subject: [PATCH] fixed PR 8997 svn: r7510 original commit: 369d4d074954db7f4eb44b4bf9e7ae1074f8b242 --- collects/help/private/search.ss | 15 ++++++++++++++- 1 file changed, 14 insertions(+), 1 deletion(-) diff --git a/collects/help/private/search.ss b/collects/help/private/search.ss index a2ef3546..3c201064 100644 --- a/collects/help/private/search.ss +++ b/collects/help/private/search.ss @@ -483,7 +483,20 @@ [(html) (with-handlers ([exn:fail:filesystem? (lambda (x) null)]) (map (lambda (x) (build-path doc x)) (filter - (lambda (x) (file-exists? (build-path doc x))) + (lambda (x) + (let ([str (path->string x)]) + (cond + [(or (regexp-match "--h\\.idx$" str) + (regexp-match "--h\\.ind$" str) + (regexp-match "Z-A\\.scm$" str) + (regexp-match "Z-L\\.scm$" str) + (regexp-match "gif$" str) + (regexp-match "png$" str) + (regexp-match "hdindex$" str) + (regexp-match "keywords$" str)) + #f] + [else + (file-exists? (build-path doc x))]))) (directory-list doc))))] [(text) (list (apply build-path doc))] [else null])])