X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=blobdiff_plain;f=.gitignore;h=43e70c42174e784d30fc93db6e9fc5ae38977909;hp=1f487851c22a1bb0485e9a6f7a6940f36a2dcb07;hb=29d360c825a50be376be18ea62132d8bd2c6d67c;hpb=6e25b841981445baf5d62bbbe5bbfc69c33a4c29

diff --git a/.gitignore b/.gitignore
index 1f487851c2..43e70c4217 100644
--- a/.gitignore
+++ b/.gitignore
@@ -20,18 +20,6 @@ build-aux/snippet/
 config.h.in
 config.h.in~
 configure
-doc/help-pages-list
-doc/ni.texi
-doc/pspp-dev.info
-doc/pspp.info
-doc/pspp.info-1
-doc/pspp.info-2
-doc/pspp.xml
-doc/stamp-1
-doc/stamp-vti
-doc/tut.texi
-doc/version-dev.texi
-doc/version.texi
 gl/
 m4/
 package.m4