Documented new planet command-line option -d

svn: r585
2005-08-11 19:12:00 +00:00 · 2005-08-11 19:12:00 +00:00 · e362c0b12f
commit e362c0b12f
parent 166abfc39e
1 changed files with 5 additions and 0 deletions
--- a/collects/planet/doc.txt
+++ b/collects/planet/doc.txt
@ -204,6 +204,11 @@ would install. In this mode, min can be any s-expression that
 the (require (planet ...)) form can interpret, not just a natural
 number.

+-d, --download <owner> <pkg> <maj> <min>
+
+Download the given package file (specified as with the --install
+flag) without installing it.
+
 -r, --remove <owner> <pkg> <maj> <min>

 Remove the specified package from the local cache.