diff --git a/.gitignore b/.gitignore
index ee7737ae915dab77b41305a79eed086720200125..971829e5f21d4ad0c98a10b11d58acab0d5fc0f7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,3 +7,5 @@ valmari_fig4/benchmark.tmp
 valmari_fig4/benchmarks.png
 prism/bench/
 dfa/bench/
+*.pdf
+*.tex