Ignore another intermediate file from the info generation.

diff --git a/Doc/.cvsignore b/Doc/.cvsignore
index acf2f7164ccfdaa7b23f8964d8f6cd96f6ef97e1..ffa8de6b3b3c70f0330496483297777dff0ec9ed 100755 (executable)
--- a/Doc/.cvsignore
+++ b/Doc/.cvsignore
@@ -1,5 +1,6 @@
 python-lib.info*
 lib.texi
+lib1.texi
 *.ind
 *.log
 *.aux