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

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