From f664758896f1a129fdce371e0d67ffd76977f722 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 16 Apr 2010 16:30:33 -0400 Subject: [PATCH] added 'rico docs' --- collects/help/info.ss | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/help/info.ss b/collects/help/info.ss index d7e366323d..6228d554a8 100644 --- a/collects/help/info.ss +++ b/collects/help/info.ss @@ -1,3 +1,4 @@ #lang setup/infotab (define post-install-collection "installer.ss") +(define rico '(("docs" help/help "search and view documentation" 100)))