From e4d7c79aa6070e3a0d26f3e84652e3cbb5629962 Mon Sep 17 00:00:00 2001
From: Wen Kokke <wenkokke@users.noreply.github.com>
Date: Wed, 25 Aug 2021 13:20:17 +0100
Subject: [PATCH] Update .gitignore to disallow PDFs but include plfa.pdf.

---
 .gitignore | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/.gitignore b/.gitignore
index 718a4b7b..cf005cee 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,5 @@
 ## Agda files
+_build/
 *.agdai
 .agda-stdlib.sed
 .links-*.sed
@@ -11,7 +12,6 @@ stack.yaml.lock
 dist-newstyle
 
 ## Jekyll files
-_site/
 .sass-cache/
 .agda-stdlib.sed
 .jekyll-metadata
@@ -24,6 +24,7 @@ Gemfile.lock
 *.fdb_latexmk
 *.fls
 *.log
+*.pdf
 *.spl
 *.synctex.gz
 
@@ -31,6 +32,8 @@ Gemfile.lock
 auto/
 
 ## Misc build files
-out/
 *.zip
 versions/plfa.github.io-web-*/
+
+## Include plfa.pdf
+!plfa.pdf