From 3b4f787f35fab75497ef5a807006f13dcff256bf Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 16 Oct 2007 16:09:22 +0000 Subject: [PATCH] fix planet require of random.plt svn: r7511 original commit: ac85e14527b9cd2e335922773b6117c479c98476 --- collects/scribblings/scribble/scribble.scrbl | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/scribblings/scribble/scribble.scrbl b/collects/scribblings/scribble/scribble.scrbl index 1d49bbea..74055fd1 100644 --- a/collects/scribblings/scribble/scribble.scrbl +++ b/collects/scribblings/scribble/scribble.scrbl @@ -93,3 +93,5 @@ information. @include-section["basic.scrbl"] @include-section["manual.scrbl"] @include-section["eval.scrbl"] + +@index-section["scribble-index"]