X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2F.gitignore;h=9ee870e0429419d8cfc885564ceb4698dfcc6159;hb=533d87afa57daa6cdf8043ca6dde33a158b5141c;hp=c375556614708dbe4d085e3066efc56809a0007e;hpb=f550aee00a62fe1d8baf62d83cd7efef6cc2ee92;p=pspp

diff --git a/doc/.gitignore b/doc/.gitignore
index c375556614..9ee870e042 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -2,9 +2,22 @@ Makefile
 Makefile.in
 ni.texi
 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.xml
 stamp-1
 stamp-vti
+tut.texi
 version-dev.texi
 version.texi