From 09ff703a9b4ceedd130ee9882d35f39e51e0d8c8 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Fri, 13 Sep 2019 10:58:41 -0700
Subject: [PATCH] ;Shake manuals: also regenerate embeddded command help txts

[ci skip]
---
 Shake.hs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Shake.hs b/Shake.hs
index 75461b5ad..4fa3b7584 100755
--- 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