diff --git a/.gitignore b/.gitignore
index 7618c7b03..90da2fb57 100644
--- a/.gitignore
+++ b/.gitignore
@@ -69,3 +69,7 @@ dt*ba-sat.dbg
 *.dstar
 *.satlog
 *.png
+GPATH
+GRTAGS
+GSYMS
+GTAGS
diff --git a/src/ltltest/.gitignore b/src/ltltest/.gitignore
index 568d222e4..1465d79b1 100644
--- a/src/ltltest/.gitignore
+++ b/src/ltltest/.gitignore
@@ -29,3 +29,4 @@ apcollect
 length
 reduceu
 unabbrevwm
+ltlrel