From 36e871264a7c221bc3e84d41d07b23db314b3218 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 14 Mar 2013 10:13:24 -0500 Subject: [PATCH] sync scribble docs with cmdline help text --- collects/planet2/scribblings/planet2.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/planet2/scribblings/planet2.scrbl b/collects/planet2/scribblings/planet2.scrbl index e36c0bde10..ccf6e03af4 100644 --- a/collects/planet2/scribblings/planet2.scrbl +++ b/collects/planet2/scribblings/planet2.scrbl @@ -264,7 +264,7 @@ sub-sub-commands: @itemlist[ @item{@DFlag{type} @nonterm{type} or @Flag{t} @nonterm{type} --- specifies an interpretation of the package source, - where @nonterm{type} is either @exec{file}, @exec{dir}, @exec{url}, @exec{github}, + where @nonterm{type} is either @exec{file}, @exec{dir}, @exec{file-url}, @exec{dir-url}, @exec{github}, or @exec{name}.} @item{@DFlag{name} @nonterm{pkg} or @Flag{n} @nonterm{pkg} --- specifies the name of the package,