diff --git a/collects/scribblings/main/config.ss b/collects/scribblings/main/config.ss index d715f70454..fc404e023a 100644 --- a/collects/scribblings/main/config.ss +++ b/collects/scribblings/main/config.ss @@ -13,7 +13,7 @@ ;; user-specific pages using cookies). (Note: the subpath must match ;; where the corresponding document is generated, this is a hack.) (define links - `((start "PLT Manuals" user "index.html") + `((start "PLT Scheme" user "index.html") (search "Search Manuals" user "search/index.html") --- (license "License" plt "license/index.html")