ignore *.pdf

diff --git a/man/.gitignore b/man/.gitignore
index 2e1fe6458049ba28a02f23cb0c6ad675f81c6acb..3ff56b474dd0fffad604ed7f44baeeb7c94a6db9 100644 (file)
--- a/man/.gitignore
+++ b/man/.gitignore
@@ -9,6 +9,7 @@
 *.log
 *.op
 *.ops
+*.pdf
 *.pg
 *.pgs
 *.ps