diff --git a/bin/.gitignore b/bin/.gitignore
index f62b9ac8c..27ff66e07 100644
--- a/bin/.gitignore
+++ b/bin/.gitignore
@@ -1,5 +1,6 @@
 autfilt
 dstar2tgba
+genaut
 genltl
 ltl2tgba
 ltl2tgta