From 7d908818d7c48d4b02771dae9db3927320fb0419 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Mon, 9 Sep 2024 13:25:36 -0700
Subject: [PATCH] ;tools: shake manuals -c: also commit COMMAND.md files

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

diff --git a/Shake.hs b/Shake.hs
index bee02d64f..4cd6f6b89 100755
--- a/Shake.hs
+++ b/Shake.hs
@@ -412,7 +412,7 @@ main = do
               ]
         when commit $
           commitIfChanged ";doc: update manuals" $
-            concat [packagemandatem4s, nroffmanuals, infomanuals, infodirentries, txtmanuals]  -- infodir
+            concat [commandmds, packagemandatem4s, nroffmanuals, infomanuals, infodirentries, txtmanuals]  -- infodir
 
       -- Update the dates to show in man pages, to the current month and year.
       -- Currently must be run manually when needed.