From: Alexander Ilin <alex.ilin@protonmail.com>
Date: Sat, 2 Sep 2023 16:31:11 +0000 (+0200)
Subject: hello-ui: add deploy-help? setting to the deployment config
X-Git-Url: https://gitweb.factorcode.org/gitweb.cgi?p=factor.git;a=commitdiff_plain;h=36090127491ebd66061c2a5bf5759640ba27bd52

hello-ui: add deploy-help? setting to the deployment config
---

diff --git a/extra/hello-ui/deploy.factor b/extra/hello-ui/deploy.factor
index 419f00627e..5495358e2e 100644
--- a/extra/hello-ui/deploy.factor
+++ b/extra/hello-ui/deploy.factor
@@ -11,5 +11,6 @@ H{
     { deploy-math? t }
     { deploy-threads? t }
     { deploy-word-defs? f }
+    { deploy-help? f }
     { deploy-name "Hello, world!" }
 }