;Shake manuals: also regenerate embeddded command help txts

[ci skip]
2019-09-13 10:58:41 -07:00 · 2019-09-13 10:58:41 -07:00 · 09ff703a9b
commit 09ff703a9b
parent 867ccb31d5
1 changed files with 3 additions and 1 deletions
--- a/Shake.hs
+++ b/Shake.hs
@ -250,7 +250,9 @@ main = do
    -- MANUALS

    -- Generate the manuals in nroff, plain text and info formats.
-    phony "manuals" $ need $ concat [
+    phony "manuals" $ need $
+      "commandhelp" :
+      concat [
       nroffmanuals
      ,infomanuals
      ,txtmanuals