diff --git a/.gitignore b/.gitignore index 5b626d2e..6a348c42 100644 --- a/.gitignore +++ b/.gitignore @@ -2,6 +2,7 @@ *.hi dist dist-newstyle +dist-docs tags TAGS .cabal-sandbox