From 25d187791291d112787b74eff964d9143473ee28 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Fri, 11 Jan 2008 02:29:49 +0000 Subject: [PATCH] remove the now-redundant main-doc option svn: r8288 original commit: fff894d7100add97eddfe8f965e7c1f558abd87c --- collects/scribblings/framework/info.ss | 2 +- collects/scribblings/gui/info.ss | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/scribblings/framework/info.ss b/collects/scribblings/framework/info.ss index a2a5d610..f926a7d3 100644 --- a/collects/scribblings/framework/info.ss +++ b/collects/scribblings/framework/info.ss @@ -1,3 +1,3 @@ (module info setup/infotab (define name "Scribblings: Framework") - (define scribblings '(("framework.scrbl" (#;multi-page main-doc))))) + (define scribblings '(("framework.scrbl" (#;multi-page))))) diff --git a/collects/scribblings/gui/info.ss b/collects/scribblings/gui/info.ss index 9657d80d..06ac2ada 100644 --- a/collects/scribblings/gui/info.ss +++ b/collects/scribblings/gui/info.ss @@ -1,4 +1,4 @@ (module info setup/infotab (define name "Scribblings: GUI") - (define scribblings '(("gui.scrbl" (multi-page main-doc))))) + (define scribblings '(("gui.scrbl" (multi-page)))))