From d095e6a06b3f5a416bcc2d0406ebee242f5233b3 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Sat, 19 Jan 2019 15:47:39 -0800
Subject: [PATCH] shake: also clean the copied README/CONTRIBUTING

[ci skip]
---
 Shake.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Shake.hs b/Shake.hs
index 559b35a30..21e4f41af 100755
--- a/Shake.hs
+++ b/Shake.hs
@@ -341,6 +341,7 @@ main = do
       putNormal "Cleaning generated files"
       removeFilesAfter "." webmanuals
       removeFilesAfter "." [webmancombined]
+      removeFilesAfter "." ["site/README.md", "site/CONTRIBUTING.md"]
 
     phony "Clean" $ do
       need ["clean"]