tweak text explaining user page versus installation page
svn: r10012
This commit is contained in:
parent
ddf289e1b4
commit
6d113a5018
|
@ -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)
|
||||
|
|
|
@ -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)
|
||||
|
|
Loading…
Reference in New Issue
Block a user