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.

1 files changed, 2 insertions, 0 deletions

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