From d98dfedb9ef8cf87e9e753d6e30beab8915cbd2a Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Thu, 5 Jan 2023 18:52:02 -1000
Subject: [PATCH] ;dev: shake: cmdhelp: tweak commit message

---
 Shake.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Shake.hs b/Shake.hs
index 822ca8bd2..b14d6a0e7 100755
--- a/Shake.hs
+++ b/Shake.hs
@@ -602,7 +602,7 @@ main = do
       phony "cmdhelp" $ do
         need commandtxts
         when commit $ do
-          let msg = ";doc: update CLI usage texts"
+          let msg = ";doc: update CLI help text files"
           cmd Shell gitcommit ("-m '"++msg++"' --") commandtxts
 
       commandtxts |%> \out -> do