Merge alpha100 branch back to main trunk
diff --git a/Doc/.cvsignore b/Doc/.cvsignore
index 3df983b7..c00222c 100755
--- a/Doc/.cvsignore
+++ b/Doc/.cvsignore
@@ -1 +1,2 @@
 python-lib.info*
+lib.texi