steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

ui.tools.deploy: add doc link to deploy-flags 

That's where all the settings are actually described.
db4
Joe Groff 2011-11-21 15:43:28 -08:00
parent 46c1cde14c
commit b12cdae993
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
basis/ui/tools/deploy/deploy-docs.factor
View File

@ -12,7 +12,7 @@ $nl
"To start the tool, pass a vocabulary name to a word:" "To start the tool, pass a vocabulary name to a word:"
{ $subsections deploy-tool } { $subsections deploy-tool }
"Alternatively, right-click on a vocabulary presentation in the UI and choose " { $strong "Deploy tool" } " from the resulting popup menu." "Alternatively, right-click on a vocabulary presentation in the UI and choose " { $strong "Deploy tool" } " from the resulting popup menu."
{ $see-also "tools.deploy" } ; { $see-also "tools.deploy" "deploy-flags" } ;
TIP: "Generate stand-alone applications from vocabularies with the " { $link "ui.tools.deploy" } "." ; TIP: "Generate stand-alone applications from vocabularies with the " { $link "ui.tools.deploy" } "." ;