diff --git a/collects/help/private/search.ss b/collects/help/private/search.ss index e02a3a6b..65ae082c 100644 --- a/collects/help/private/search.ss +++ b/collects/help/private/search.ss @@ -350,6 +350,7 @@ (set! hit-count (add1 hit-count)) (unless (< hit-count MAX-HIT-COUNT) (maxxed-out))) + ; Keyword search (let ([keys (case doc-kind