From 56f35e1a4c167e29e6404e2e69083cc252b96273 Mon Sep 17 00:00:00 2001
From: Peter LeFanu Lumsdaine <p.l.lumsdaine@gmail.com>
Date: Mon, 2 Mar 2020 22:41:29 +0100
Subject: [PATCH] Updated .gitignore to ignore new Coq auxiliary file types

---
 .gitignore | 13 ++++++++-----
 1 file changed, 8 insertions(+), 5 deletions(-)

diff --git a/.gitignore b/.gitignore
index 4d0e7dc2..13434bfa 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,8 +1,3 @@
-/.coq_makefile_output.conf
-/.coqdeps.d
-*.backup
-/.coq_makefile_input
-build/CoqMakefile.make
 
 ## Core latex/pdflatex auxiliary files:
 *.aux
@@ -118,10 +113,18 @@ sympy-plots-for-*.tex/
 *.glob
 *.v.d
 *.vo
+*.vok
+*.vos
 Makefile*.coq
 coq/.coq_makefile_input
 coq/.coq_makefile_output
 coq/build/CoqMakefile.make
+/.coq_makefile_output.conf
+/.coqdeps.d
+*.backup
+/.coq_makefile_input
+/..coq_makefile_output.d
+build/CoqMakefile.make
 
 # for Coq generated documentation
 html/*