diff --git a/.gitignore b/.gitignore
index d9faeb2..9cb01d8 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,7 +5,7 @@
 *.aux
 *.log
 *.out
-
+*.pdf
 
 # Ada Library Information
 *.ali