;dev: shake: cmdhelp: tweak commit message
This commit is contained in:
parent
0567935e4b
commit
d98dfedb9e
2
Shake.hs
2
Shake.hs
@ -602,7 +602,7 @@ main = do
|
|||||||
phony "cmdhelp" $ do
|
phony "cmdhelp" $ do
|
||||||
need commandtxts
|
need commandtxts
|
||||||
when commit $ do
|
when commit $ do
|
||||||
let msg = ";doc: update CLI usage texts"
|
let msg = ";doc: update CLI help text files"
|
||||||
cmd Shell gitcommit ("-m '"++msg++"' --") commandtxts
|
cmd Shell gitcommit ("-m '"++msg++"' --") commandtxts
|
||||||
|
|
||||||
commandtxts |%> \out -> do
|
commandtxts |%> \out -> do
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user