shake: also clean the copied README/CONTRIBUTING

[ci skip]
2019-01-19 15:47:39 -08:00 · 2019-01-19 15:47:39 -08:00 · d095e6a06b
commit d095e6a06b
parent 5000c6ac6a
1 changed files with 1 additions and 0 deletions
--- 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"]