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

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