fix doc start page

This commit is contained in:
Matthew Flatt 2010-04-28 06:30:02 -06:00
parent 79e52c67bc
commit 65f4bcb9dc

View File

@ -9,7 +9,7 @@
@margin-note{
@not-on-the-web{
This is an installation-specific listing. Running @exec{racket-tool docs}
This is an installation-specific listing. Running @exec{raco docs}
may open a different page with local and user-specific
documentation, including documentation for installed
@link["http://planet.plt-scheme.org/"]{@|PLaneT|} packages.}}