From a523a718de3b5ab2999c525041849c207edc8979 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Thu, 14 Dec 2006 00:17:54 +0000
Subject: [PATCH] fixed a bug in help desk resetting of the cache

svn: r5112

original commit: 57524d3b8c2e9d89a63c62bf0d46753b369079ec
---
 collects/help/private/search.ss | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/collects/help/private/search.ss b/collects/help/private/search.ss
index 8ca3bd51..98d61925 100644
--- a/collects/help/private/search.ss
+++ b/collects/help/private/search.ss
@@ -3,6 +3,7 @@
            "colldocs.ss"
            "path.ss"
            "manuals.ss"
+           (lib "getinfo.ss" "setup")
            (lib "list.ss")
            (lib "plt-match.ss")
            (lib "contract.ss")
@@ -287,6 +288,8 @@
        (string->list s)))))
       
   (define (doc-collections-changed)
+    (reset-relevant-directories-state!)
+    (reset-doc-lists)
     (set! doc-collection-dates (map (lambda (x) #f) doc-dirs))
     (set! html-keywords (make-hash-table 'equal))
     (set! html-indices (make-hash-table 'equal))