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