From 965bea165ebf5ed10e55f58a649a10d827fa2862 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@college-de-france.fr>
Date: Wed, 27 Mar 2019 11:34:38 +0100
Subject: Ignore more of Coq's cache files

A grep through Coq's source files show that it uses more cache files
than just .lia.cache.  Ignore them all.
---
 .gitignore | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index f9b542d7..f33b2173 100644
--- a/.gitignore
+++ b/.gitignore
@@ -68,5 +68,8 @@
 .DS_Store
 # Test generated data
 /test/clightgen/*.v
-# Coq cache
+# Coq caches
 .lia.cache
+.nia.cache
+.nra.cache
+.csdp.cache
-- 
cgit