diff --git a/collects/embedded-gui/info.ss b/collects/embedded-gui/info.ss index d24f13cc..0ffc035a 100644 --- a/collects/embedded-gui/info.ss +++ b/collects/embedded-gui/info.ss @@ -1,3 +1,3 @@ #lang setup/infotab -(define scribblings '(("scribblings/embedded-gui.scrbl" (multi-page)))) +(define scribblings '(("scribblings/embedded-gui.scrbl" (multi-page) (gui-library)))) diff --git a/collects/mrlib/scribblings/info.ss b/collects/mrlib/scribblings/info.ss index 4647e1a3..bebe9ddb 100644 --- a/collects/mrlib/scribblings/info.ss +++ b/collects/mrlib/scribblings/info.ss @@ -1,3 +1,3 @@ #lang setup/infotab -(define scribblings '(("mrlib.scrbl" (multi-page)))) +(define scribblings '(("mrlib.scrbl" (multi-page) (gui-library)))) diff --git a/collects/scribblings/framework/info.ss b/collects/scribblings/framework/info.ss index eeace925..8fd673ac 100644 --- a/collects/scribblings/framework/info.ss +++ b/collects/scribblings/framework/info.ss @@ -1,3 +1,4 @@ #lang setup/infotab -(define scribblings '(("framework.scrbl" (#;multi-page)))) +(define scribblings '(("framework.scrbl" (#;multi-page) (gui-library 100)))) + diff --git a/collects/scribblings/gui/info.ss b/collects/scribblings/gui/info.ss index 93e5ddf1..133ac149 100644 --- a/collects/scribblings/gui/info.ss +++ b/collects/scribblings/gui/info.ss @@ -1,3 +1,3 @@ #lang setup/infotab -(define scribblings '(("gui.scrbl" (multi-page)))) +(define scribblings '(("gui.scrbl" (multi-page) (gui-library 101))))