diff --git a/Shake.hs b/Shake.hs index fb76088f0..fc6e34517 100755 --- a/Shake.hs +++ b/Shake.hs @@ -521,12 +521,13 @@ main = do liftIO $ writeFile out $ unlines [ "" ,"