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