diff --git a/.gitignore b/.gitignore
index a6c7e3145be75736bc809867b7a72b08baff490a..fad347ff15a12d2055f9bde1cba493789ca06490 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,6 +4,7 @@
 *.cache
 *.aux
 \#*\#
+.\#*
 *~
 *.bak
 .coq-native/