Tell CVS to ignore PDF files.
diff --git a/Doc/.cvsignore b/Doc/.cvsignore
index 6afb8d2..6719d10 100755
--- a/Doc/.cvsignore
+++ b/Doc/.cvsignore
@@ -10,6 +10,7 @@
 *.ps
 *.idx
 *.ilg
+*.pdf
 api
 ext
 lib