From 59cce3feaffe9b5ccdd241ff3202f1ac706d3f65 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 28 Feb 2019 10:45:39 +0100
Subject: [PATCH] Adjust .gitignore to not ignore PDFs that are intentionally
 checked in

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

diff --git a/.gitignore b/.gitignore
index b55ce52..adb2b11 100644
--- a/.gitignore
+++ b/.gitignore
@@ -22,6 +22,9 @@
 /notebooks/**/*.pdf
 /notebooks/**/*.tex
 
+# These PDFs are for embedding in a notebook, they are not generated
+!/notebooks/presentations/img/*.pdf
+
 # Kodkod log files
 probkodkod.log
 probkodkod.log.lck
-- 
GitLab