From bc8e2d15e1c9a5d6b5abfeb3b900147fef0e34a8 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Thu, 7 Nov 2019 16:49:28 +0100
Subject: [PATCH] Gitignore LaTeX temp files.

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

diff --git a/.gitignore b/.gitignore
index 5c8d7df69..6f04785d8 100644
--- a/.gitignore
+++ b/.gitignore
@@ -19,3 +19,12 @@ Makefile.coq
 Makefile.coq.conf
 *.crashcoqide
 .env
+*.bbl
+*.bcf
+*.blg
+*.log
+*.out
+*.pdf
+*.run.xml
+*.toc
+
-- 
GitLab