diff --git a/.gitignore b/.gitignore
index 58ec6bb0..a53d73ae 100644
--- a/.gitignore
+++ b/.gitignore
@@ -15,3 +15,4 @@ _opam
 fuzz-*-input
 fuzz-*-output
 fuzz-logs/
+doc/papers