diff --git a/.gitignore b/.gitignore
index 0ad4144965651dbfc849d1eaa6acbd42937d7b48..a4958bee0953f504e1f08a7da3a5f98324edcce6 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,6 +2,7 @@
 *.glob
 *.vo
 *.html
+/html
 *.aux
 Makefile*
 _CoqProject
@@ -10,3 +11,6 @@ _CoqProject
 *.cache
 *~
 *.orig
+*/.#*
+#*#
+*.DS_Store
\ No newline at end of file