1 files changed, 3 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index 586f3a7..6568d8d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -86,6 +86,7 @@ creduce_bug_*/
 /docs/man/
 /docs/manual/
 /docs/src/
+/html/
 
 *~
 *.man
@@ -94,3 +95,5 @@ creduce_bug_*/
 /bin
 /share
 /results*
+
+_CoqProject