From 90890f6e1e5ac07bff32f879ad0c54b083e60774 Mon Sep 17 00:00:00 2001
From: Dan Frumin <dfrumin@cs.ru.nl>
Date: Mon, 18 Mar 2019 11:26:07 +0100
Subject: [PATCH] bump .gitignore

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

diff --git a/.gitignore b/.gitignore
index 7107983..2ce0641 100644
--- a/.gitignore
+++ b/.gitignore
@@ -15,3 +15,11 @@ build-dep/
 Makefile.coq
 Makefile.coq.conf
 *.crashcoqide
+docs/*.cp*
+docs/*.pdf
+docs/*.dvi
+docs/*.html
+docs/*.info
+docs/*.toc
+docs/*.log
+docs/*.fn*
-- 
GitLab