From 22a315d1c3ff05fa05d2a05bd492190ab82cf772 Mon Sep 17 00:00:00 2001
From: Russell O'Connor <roconnor@blockstream.com>
Date: Tue, 20 May 2025 14:11:24 -0400
Subject: [PATCH] Ignore more Coq files and other files generated from the
 Haskell executables

---
 .gitignore | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index 8568c1c29..e448abb61 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,7 +9,9 @@ cabal.project.local
 result
 result-doc
 # Coq
-/Coq/*CoqMakefile*
+/Coq/*Makefile*
+/Coq/.Makefile.d
+/Coq/.nia.cache
 .lia.cache
 *.vok
 *.vos
@@ -28,6 +30,8 @@ alectryon-doc
 *.gcno
 *.gcov
 *.info
-# GenRustJets
+# Gen
 /*.rs
 /*.c
+/*.h
+/*.inc