[m-rev.] diff: Update .gitignore files

[Paul Bone]

Branches: master

Update .gitignore files

doc/.gitignore:
    .gitignore several generated file extensions.
---
 doc/.gitignore | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/doc/.gitignore b/doc/.gitignore
index 6622546..c9034d0 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -4,6 +4,9 @@
 *.info-*
 *.html
 *.pdf
+*.pdf_log
+*.ps
+*.ps_log
 *.texi_pp
 *.aux
 *.cp
-- 
1.8.4.rc3