From 94cda256e80edad55bf4f2e87deca11eff6e60d8 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 20 Nov 2007 04:52:45 +0000 Subject: [PATCH] made f1 work in drscheme, fixed a few other bugs svn: r7781 original commit: 1f81a98987e353686d7500d7ce7f5ff813147617 --- collects/help/{private => }/search.ss | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) rename collects/help/{private => }/search.ss (96%) 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: