From 2f1dc42b9d71dee668afd06fa7a49bb6fcd92d63 Mon Sep 17 00:00:00 2001 From: Jens Axel Soegaard Date: Sat, 15 Sep 2007 15:12:33 +0000 Subject: [PATCH] Added keywords from doc.txt files to the master index page. svn: r7345 original commit: 78b57246a2fc3f5291dab272fa6c14ec92a19f83 --- collects/help/private/search.ss | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/collects/help/private/search.ss b/collects/help/private/search.ss index 8dcf76c6..a2ef3546 100644 --- a/collects/help/private/search.ss +++ b/collects/help/private/search.ss @@ -10,7 +10,10 @@ (lib "contract.ss") (lib "dirs.ss" "setup")) - (provide doc-collections-changed) + (provide doc-collections-changed + reset-doc-lists + extract-doc-txt + load-txt-keywords-into-hash-table) (provide/contract [do-search (string? @@ -189,10 +192,14 @@ (define re:keyword-line (regexp "\n>")) (define text-keywords (make-hash-table 'equal)) + (define (load-txt-keywords doc) + (load-txt-keywords-into-hash-table text-keywords doc)) + + (define (load-txt-keywords-into-hash-table ht doc) (parse-txt-file (apply build-path doc) - text-keywords + ht (λ (p) (port-count-lines! p) (let loop ()