1 files changed, 1 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index aee7ed659e..458ebed341 100644
--- a/.gitignore
+++ b/.gitignore
@@ -6,6 +6,7 @@
 *.annot
 *.o
 *.a
+*.annot
 *.log
 *.aux
 *.dvi