From 839f971912f03ad88be86966656c905230a07299 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Mon, 9 Jul 2012 15:19:16 -0400 Subject: [PATCH] Fix inconsistent docs --- collects/planet/planet.scrbl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/planet/planet.scrbl b/collects/planet/planet.scrbl index 9ee6377718..47f6bc649b 100644 --- a/collects/planet/planet.scrbl +++ b/collects/planet/planet.scrbl @@ -123,7 +123,7 @@ determine the url for downloading the package. To find the url for version @tt{(1 1)} of the plai package, do this: -@tt{% planet url plai plai.plt 1 1} +@tt{% raco planet url plai plai.plt 1 1} and get this as a response: @@ -136,7 +136,7 @@ call the file something else. Rename it to @tt{plai.plt}.} @item{Now run the command-line tool one more time to install the plt file: -@tt{% planet fileinject plai plai.plt 1 1} +@tt{% raco planet fileinject plai plai.plt 1 1} This command should be run from the same directory where you saved @tt{plai.plt}.