tools.deploy: name the args 'vocabs'

mrjbq7 · mrjbq7 · commit 416f39cd8235 · 2025-06-23T10:32:42.000-07:00
diff --git a/basis/tools/deploy/deploy.factor b/basis/tools/deploy/deploy.factor
@@ -117,7 +117,7 @@ ERROR: no-vocab-main vocab ;
             { variable deploy-io }
         }
         T{ option 
-            { name "" }
+            { name "vocabs" }
             { required? t }
             { #args "+" }
             { help "The vocabulary or vocabularies to be deployed" }

Original file line number	Diff line number	Diff line change
`@@ -117,7 +117,7 @@ ERROR: no-vocab-main vocab ;`
`117`	`117`	`{ variable deploy-io }`
`118`	`118`	`}`
`119`	`119`	`T{ option`
`120`		`- { name "" }`
	`120`	`+ { name "vocabs" }`
`121`	`121`	`{ required? t }`
`122`	`122`	`{ #args "+" }`
`123`	`123`	`{ help "The vocabulary or vocabularies to be deployed" }`