diff --git a/.gitignore b/.gitignore
index 00a5764f751122fec76a1f70232e93835d414059..192c44099a7acb16ab5c3d7cf815759d708d28f9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,6 +5,9 @@ __pycache__/
 # C extensions
 *.so
 
+# Heavy documents
+*.pdf
+
 # Distribution / packaging
 bin/
 build/