From 39e06014469a3f4595d8f6f04535da5935b796dd Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Mon, 27 Mar 2017 04:38:17 -0700
Subject: [PATCH] tools: shake: don't remove old manuals when cleaning

---
 Shake.hs | 2 --
 1 file changed, 2 deletions(-)

diff --git a/Shake.hs b/Shake.hs
index 0c7559ca8..f5f4b8716 100755
--- 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"]