From 6d113a5018091ea2461ed774210cb179436a7787 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 28 May 2008 20:52:26 +0000 Subject: [PATCH] tweak text explaining user page versus installation page svn: r10012 --- collects/scribblings/main/start.scrbl | 4 +++- collects/scribblings/main/user/start.scrbl | 16 ++++------------ 2 files changed, 7 insertions(+), 13 deletions(-) diff --git a/collects/scribblings/main/start.scrbl b/collects/scribblings/main/start.scrbl index 20309a785c..cb42c04049 100644 --- a/collects/scribblings/main/start.scrbl +++ b/collects/scribblings/main/start.scrbl @@ -9,6 +9,8 @@ @margin-note{This is an installation-specific listing. Running @exec{plt-help} may open a different page with local and user-specific documentation, including documentation for - installed @|PLaneT| packages.} + installed + @link["http://planet.plt-scheme.org/"]{@|PLaneT|} + packages.} @(make-start-page #f) diff --git a/collects/scribblings/main/user/start.scrbl b/collects/scribblings/main/user/start.scrbl index 22c4ccdc89..f83b6f9a0a 100644 --- a/collects/scribblings/main/user/start.scrbl +++ b/collects/scribblings/main/user/start.scrbl @@ -6,17 +6,9 @@ @main-page['start #f] -@;{ -@; This page should always be the default, so it doesn't need to say -@; something special or link to the main page. -@margin-note{This is a user-specific listing, which may include - @|PLaneT| packages and other collections that are not in - the main installation. The main installation's listing is - @other-manual['(lib "scribblings/start/start.scrbl")].} -;} - -@margin-note{This is the PLT Scheme documentation, including - user-specific packages (@|PLaneT| packages and other - collections) that are not in the main installation.} +@margin-note{This is an installation- and user-specific listing, + including documentation for installed + @link["http://planet.plt-scheme.org/"]{@|PLaneT|} + packages.} @(make-start-page #t)