diff --git a/collects/net/scribblings/info.ss b/collects/net/scribblings/info.ss index ca005d8a28..531d5a1607 100644 --- a/collects/net/scribblings/info.ss +++ b/collects/net/scribblings/info.ss @@ -1,3 +1,3 @@ #lang setup/infotab -(define scribblings '(("net.scrbl" (multi-page)))) +(define scribblings '(("net.scrbl" (multi-page) (net-library))))