X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2F.gitignore;h=2e9fd1a4a994d9c3b90f55d71a435f4896f4e75a;hb=66cf88eb930344d1c18c90d25cb9fdacd9912502;hp=9ee870e0429419d8cfc885564ceb4698dfcc6159;hpb=0df9cdd3df66caf4353128feff3008289cda8115;p=pspp

diff --git a/doc/.gitignore b/doc/.gitignore
index 9ee870e042..2e9fd1a4a9 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1,20 +1,22 @@
-Makefile
-Makefile.in
+help-pages-list
 ni.texi
+pspp*.aux
+pspp*.cp
+pspp*.cps
+pspp*.fn
+pspp*.fns
+pspp*.ky
+pspp*.log
+pspp*.pg
+pspp*.toc
+pspp*.tp
+pspp*.tps
+pspp*.vr
+pspp*.vrs
 pspp-dev.info
-pspp.aux
-pspp.cp
-pspp.cps
-pspp.fn
-pspp.fns
-pspp.info*
-pspp.ky
-pspp.log
-pspp.pg
-pspp.toc
-pspp.tp
-pspp.vr
-pspp.vrs
+pspp-dev.info-*
+pspp.info
+pspp.info-*
 pspp.xml
 stamp-1
 stamp-vti