1 files changed, 0 insertions, 1 deletions

diff --git a/.gitignore b/.gitignore
index 24d62f5..c3adf48 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,7 +2,6 @@
 *.log
 *.nav
 *.out
-*.pdf
 *.snm
 *.toc
 *.html