diff --git a/collects/help/private/search.ss b/collects/help/search.ss similarity index 96% rename from collects/help/private/search.ss rename to collects/help/search.ss index 65aaba1b..7b6d5f6d 100644 --- a/collects/help/private/search.ss +++ b/collects/help/search.ss @@ -7,9 +7,11 @@ scribble/basic scribble/manual (prefix-in scheme: scribble/scheme) - browser/external) + browser/external + mzlib/contract) -(provide generate-search-results) +(provide/contract + [generate-search-results (-> (listof string?) void?)]) (define (make-extra-content desc) ;; Use `desc' to provide more details on the link: