;tools: shake manuals -c: also commit COMMAND.md files

This commit is contained in:
Simon Michael 2024-09-09 13:25:36 -07:00
parent a505ffd3bf
commit 7d908818d7

View File

@ -412,7 +412,7 @@ main = do
] ]
when commit $ when commit $
commitIfChanged ";doc: update manuals" $ 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. -- Update the dates to show in man pages, to the current month and year.
-- Currently must be run manually when needed. -- Currently must be run manually when needed.