don't ignore pdf file as we put them in the repo.

The one generated automatically is already ignored as it is in the html dir.

don't ignore pdf file as we put them in the repo.
63bfb306 · Frederic Bastien · ca091b70 · 63bfb306
--- a/.gitignore
+++ b/.gitignore
@@ -10,7 +10,6 @@
 *.log
 *.nav
 *.out
-*.pdf
 *.snm
 *.toc
 *.vrb