Ignore PS and PDF files.

diff --git a/doc/.cvsignore b/doc/.cvsignore
index 1329adfa65e83e596731e51d8b0a4994fabfaa5c..043abb90f2c6ddba63aceab6e3a5195c082665b1 100644 (file)
--- a/doc/.cvsignore
+++ b/doc/.cvsignore
@@ -10,6 +10,8 @@
 *.ma *.mas
 *.ov *.ovs
 *.pg
+*.ps
+*.pdf
 *.tmp
 *.toc
 *.tp