X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2F.cvsignore;h=6d2576feb9f8ef70064afdde2f8bae9b90d4c248;hb=90a7573efd4992a972e70063793db0a7e41443d2;hp=27bfb687593558df92e3e350f41f237d9bdddbf2;hpb=b824332b27936d222a45939ad2c5d934b53c5eb8;p=pspp-builds.git

diff --git a/doc/.cvsignore b/doc/.cvsignore
index 27bfb687..6d2576fe 100644
--- a/doc/.cvsignore
+++ b/doc/.cvsignore
@@ -1,3 +1,6 @@
 Makefile
 Makefile.in
+ni.texi
 pspp.info*
+stamp-vti
+version.texi