commit 4a31fa8cd14c0ecf5f7d0da8dc7d7473c9a78df9 parent 9a88fa516ce0440682db0f399ac9d378f7c2bd4e Author: Robby Findler <robby@racket-lang.org> Date: Tue, 16 Oct 2007 13:39:56 +0000 fixed PR 8997 svn: r7510 original commit: 369d4d074954db7f4eb44b4bf9e7ae1074f8b242 Diffstat:
| M | 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 @@ -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])])