diff --git a/.gitignore b/.gitignore
index f765fa0..b817c54 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,3 +12,4 @@ _minted*
 /draconian-2/auto-generated*
 /ignored-folder
 /js/.tern-port
+*.pdf_tex