diff --git a/.gitignore b/.gitignore
index 9c9b1df17..e6d787e6e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,7 +3,7 @@
 *.hi
 *.o
 _*
-cabal-dev
+cabal-dev*
 hledger-web/static/tmp/
 hledger-web/yesod-devel/
 TAGS
@@ -16,3 +16,5 @@ site/[0-9]*
 /messages
 /static
 /templates
+profs/profs
+t.*