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)