From 3d4761f027bece3e74fde71dd8bdf269d197a892 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 28 May 2008 15:23:30 +0000 Subject: [PATCH] rename start page to 'PLT Scheme' svn: r10001 --- collects/scribblings/main/config.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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")