From e1712732ad88e34f7321e027e257a34ae987c593 Mon Sep 17 00:00:00 2001
From: Tej Chajed <tchajed@mit.edu>
Date: Fri, 1 Nov 2019 13:18:53 -0400
Subject: [PATCH] Update gitignore

See https://github.com/coq/coq/pull/10947 (.coqdeps.d now uses the name
of the Coq Makefile) and https://github.com/coq/coq/pull/8642 (Coq now
generates empty interface files *.vos when compiling).
---
 .gitignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index 28f56a33..4265b415 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,7 +1,10 @@
 *.vo
+*.vos
+*.vok
 *.vio
 *.v.d
 .coqdeps.d
+.Makefile.coq.d
 *.glob
 *.cache
 *.aux
-- 
GitLab