Ignore another intermediate file from the info generation.
diff --git a/Doc/.cvsignore b/Doc/.cvsignore
index acf2f71..ffa8de6 100755
--- a/Doc/.cvsignore
+++ b/Doc/.cvsignore
@@ -1,5 +1,6 @@
 python-lib.info*
 lib.texi
+lib1.texi
 *.ind
 *.log
 *.aux