diff --git a/Shake.hs b/Shake.hs index ad60d8857..70e6893e4 100755 --- a/Shake.hs +++ b/Shake.hs @@ -658,8 +658,9 @@ main = do -- Cleanup. phony "clean" $ do - putNormal "Cleaning generated help texts, manuals, staged site content" - removeFilesAfter "." commandtxts + -- putNormal "Cleaning generated help texts, manuals, staged site content" + -- removeFilesAfter "." commandtxts + putNormal "Cleaning generated manuals, staged site content" removeFilesAfter "." mdmanuals removeFilesAfter "." [mdcombinedmanual] removeFilesAfter "." ["site/README.md", "site/CONTRIBUTING.md"]