diff --git a/scribble-doc/scriblib/scribblings/info.rkt b/scribble-doc/scriblib/scribblings/info.rkt index a7f91026..1d0ce0c7 100644 --- a/scribble-doc/scriblib/scribblings/info.rkt +++ b/scribble-doc/scriblib/scribblings/info.rkt @@ -1,3 +1,3 @@ #lang info -(define scribblings '(("scriblib.scrbl" (multi-page)))) +(define scribblings '(("scriblib.scrbl" (multi-page) ("Scribble Libraries"))))