tools: shake: don't remove old manuals when cleaning

2024-09-19 18:29:36 +03:00 · 2017-03-27 04:38:17 -07:00 · 2017-03-27 04:38:17 -07:00 · 39e0601446
commit 39e0601446
parent f7f6d5f8e5
1 changed files with 0 additions and 2 deletions
--- a/Shake.hs
+++ b/Shake.hs
@ -327,8 +327,6 @@ main = do
      putNormal "Cleaning generated files"
      removeFilesAfter "." webmanpages
      removeFilesAfter "." [webmanall, cookbookall]
-      -- removeFilesAfter "." ["site/doc/[0-9]*"]
-      cmd Shell "rm -rf site/doc/[0-9]*"

    phony "Clean" $ do
      need ["clean"]