From 395717e7788f58936330080f4cd38754b4237195 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Tue, 13 Jul 2021 18:40:41 -1000
Subject: [PATCH] ;shake: drop unnecessary dev: prefix in doc commits

---
 Shake.hs | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/Shake.hs b/Shake.hs
index 0c6ca0606..1100d2fe9 100755
--- a/Shake.hs
+++ b/Shake.hs
@@ -271,7 +271,7 @@ main = do
           when ("was generated with a newer version of hpack" `isInfixOf` err) $
             liftIO $ putStr err >> exitFailure
           when commit $ do
-            let msg = ";dev: cabal: update cabal files"
+            let msg = ";cabal: update cabal files"
             cmd Shell gitcommit ("-m '"++msg++"' --") cabalfiles
 
       -- Update version strings in most "source" files to match what's in PKG/.version.
@@ -402,7 +402,7 @@ main = do
               ,webmanuals
               ]
         when commit $ do
-          let msg = ";dev: doc: update manuals"
+          let msg = ";doc: update manuals"
           cmd Shell gitcommit ("-m '"++msg++"' --") packagemandatem4s nroffmanuals infomanuals infodirentries infodir txtmanuals
 
       -- Update the dates to show in man pages, to the current month and year.
@@ -579,7 +579,7 @@ main = do
       phony "cmdhelp" $ do
         need commandtxts
         when commit $ do
-          let msg = ";dev: doc: update CLI usage texts"
+          let msg = ";doc: update CLI usage texts"
           cmd Shell gitcommit ("-m '"++msg++"' --") commandtxts
 
       commandtxts |%> \out -> do
@@ -625,7 +625,7 @@ main = do
       phony "changelogs" $ do
         need changelogs
         when commit $ do
-          let msg = ";dev: doc: update changelogs"
+          let msg = ";doc: update changelogs"
           cmd Shell gitcommit ("-m '"++msg++"' --") changelogs
 
       -- [PKG/]CHANGES.md