From 15d6842d54789951e6deb78c6a22a8ce2cb41632 Mon Sep 17 00:00:00 2001
From: Jacob Matthews <jacobm@cs.uchicago.edu>
Date: Mon, 11 Jun 2007 16:53:00 +0000
Subject: [PATCH] PR 8736

svn: r6576
---
 collects/planet/doc.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/collects/planet/doc.txt b/collects/planet/doc.txt
index 29d48de99e..be42918594 100644
--- a/collects/planet/doc.txt
+++ b/collects/planet/doc.txt
@@ -596,7 +596,7 @@ though it had been downloaded from the PLaneT server with the given
 owner name and major and minor versions. After you run this command,
 you can require your package on your local machine using
 
-  (require (planet (<owner name> <.plt file name without path> <maj> <min>)))
+  (require (planet <.ss file in your package> (<owner name> <.plt file name without path> <maj> <min>)))
 
 to verify everything works. After you do so, you can use