From c3dd749f3d0d1d52c45e5aa1947ba9c97bf3ac6a Mon Sep 17 00:00:00 2001
From: John Benediktsson <mrjbq7@gmail.com>
Date: Fri, 14 Nov 2014 17:31:46 -0800
Subject: [PATCH] ui.tools.deploy: change article title.
---
basis/ui/tools/deploy/deploy-docs.factor | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/basis/ui/tools/deploy/deploy-docs.factor b/basis/ui/tools/deploy/deploy-docs.factor
index a130d45572..640a439d41 100644
--- a/basis/ui/tools/deploy/deploy-docs.factor
+++ b/basis/ui/tools/deploy/deploy-docs.factor
@@ -6,8 +6,8 @@ HELP: deploy-tool
{ $description "Opens the graphical deployment tool for the specified vocabulary." }
{ $examples { $code "\"tetris\" deploy-tool" } } ;
-ARTICLE: "ui.tools.deploy" "Application deployment UI tool"
-"The application deployment UI tool provides a graphical front-end to deployment configuration. Using the tool, you can set deployment options graphically."
+ARTICLE: "ui.tools.deploy" "UI application deployment tool"
+"The application deployment tool provides a graphical front-end to deployment configuration. Using the tool, you can set deployment options graphically."
$nl
"To start the tool, pass a vocabulary name to a word:"
{ $subsections deploy-tool }