]> gitweb.factorcode.org Git - factor.git/commitdiff
command-line-docs: fix -run description
authorMitchell N Charity <mncharity@vendian.org>
Mon, 13 Sep 2010 21:19:09 +0000 (17:19 -0400)
committerMitchell N Charity <mncharity@vendian.org>
Mon, 13 Sep 2010 21:22:23 +0000 (17:22 -0400)
basis/command-line/command-line-docs.factor

index b17f8250dd34ffa31d1ed28c799273410be935e7..2ff7e7121c008fcb1901e8ecc96262cbe334978d 100644 (file)
@@ -87,7 +87,7 @@ ARTICLE: "standard-cli-args" "Command line switches for general usage"
 "The following command line switches can be passed to a bootstrapped Factor image:"
 { $table
     { { $snippet "-e=" { $emphasis "code" } } { "This specifies a code snippet to evaluate. If you want Factor to exit immediately after, also specify " { $snippet "-run=none" } "." } }
-    { { $snippet "-run=" { $emphasis "vocab" } } { { $snippet { $emphasis "vocab" } } " is the name of a vocabulary with a " { $link POSTPONE: MAIN: } " hook to run on startup, for example " { $vocab-link "listener" } ", " { $vocab-link "ui" } " or " { $vocab-link "none" } "." } }
+    { { $snippet "-run=" { $emphasis "vocab" } } { { $snippet { $emphasis "vocab" } } " is the name of a vocabulary with a " { $link POSTPONE: MAIN: } " hook to run on startup, for example " { $vocab-link "listener" } ", " { $vocab-link "ui.tools" } " or " { $vocab-link "none" } "." } }
     { { $snippet "-no-user-init" } { "Inhibits the running of user initialization files on startup. See " { $link "rc-files" } "." } }
     { { $snippet "-quiet" } { "If set, " { $link run-file } " and " { $link require } " will not print load messages." } }
 } ;