From 10137dc6791691037d4fa5d15b0bba689aa015e2 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 26 Dec 2012 18:18:49 -0600 Subject: [PATCH] fix bug in help/search docs --- collects/scribblings/tools/documentation-utils.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/scribblings/tools/documentation-utils.scrbl b/collects/scribblings/tools/documentation-utils.scrbl index 338b0a310b..98a15ac63b 100644 --- a/collects/scribblings/tools/documentation-utils.scrbl +++ b/collects/scribblings/tools/documentation-utils.scrbl @@ -14,7 +14,7 @@ and its tools to connect to the scribble documentation. See also @defmodule[help/search] @defproc[(send-main-page [#:sub sub path-string? "index.html"] - [#:notify notify (-> path? void)] + [#:notify notify (-> path? void) void] [#:fragment fragment (or/c #f ??) #f] [#:query query (or/c #f ??) #f]) any]{