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