diff --git a/doc/.cvsignore b/doc/.cvsignore
index 86117209..f02b6c47 100644
--- a/doc/.cvsignore
+++ b/doc/.cvsignore
@@ -3,6 +3,7 @@
 *.cps
 *.dvi 
 *.info
+*.info-?
 *.fn
 *.ky
 *.log