From a8be1e2551bc4fbda9c45792c0dad5743c18fefd Mon Sep 17 00:00:00 2001
From: Columbus240
Date: Mon, 24 Aug 2020 19:27:33 +0200
Subject: Merge some of the gitignore files

Both /.gitignore and /lib/coq/.gitignore ignored some files in /lib/coq.
This commit removes /lib/coq/.gitignore and moves all ignore-statements
to /.gitignore . This should simplify the maintenance of gitignore files.

The situation with /test/mono/.gitignore is analogous.
---
 .gitignore | 2 ++
 1 file changed, 2 insertions(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 944ca88b..f21c4c53 100644
--- a/.gitignore
+++ b/.gitignore
@@ -33,6 +33,7 @@ lib/hol/sail-heap
 *.glob
 .*.aux
 /lib/coq/.nia.cache
+/lib/coq/deps
 
 # Isabelle
 
@@ -75,6 +76,7 @@ lib/hol/sail-heap
 /test/mono/log
 /test/mono/test.cmi
 /test/mono/test.cmo
+/test/mono/test-output
 
 /language/*.pdf
 /language/*.uo
-- 
cgit v1.2.3