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

That's where all the settings are actually described.

diff --git a/basis/ui/tools/deploy/deploy-docs.factor b/basis/ui/tools/deploy/deploy-docs.factor
index aa1fb1b68ec3499653e413768fcf9b0f5fb2f0d9..a130d455723f1c25f5af3a050c20c3c69bab4727 100644 (file)
--- a/basis/ui/tools/deploy/deploy-docs.factor
+++ b/basis/ui/tools/deploy/deploy-docs.factor
@@ -12,7 +12,7 @@ $nl
 "To start the tool, pass a vocabulary name to a word:"
 { $subsections deploy-tool }
 "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" } "." ;