From a5b8a41ef22618c69db62dfeb71d7f38bbba34e2 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Sat, 26 Mar 2022 15:50:53 +0000
Subject: Add more files to .gitignore

---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

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
-- 
cgit