diff --git a/.gitignore b/.gitignore
index a8e24ffc77db3ada78d67fd26e26cf5e512ab137..3f5754205080593bad60e4a63e4785e5ba092d2a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -25,8 +25,8 @@ states
 tlatools/states
 .DS_Store
 screenshots/
-tlatools/.gradle
-tlatools/build
+.gradle
+build
 !**/gradle/wrapper/gradle-wrapper.jar
 ajcore.*.txt
 tlatools/test-model/CodePlexBug08/checkpoint/