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"]