X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2F.gitignore;h=5605f8b4a43d9888a191fae3b78e331756baf33a;hb=refs%2Fheads%2Fctables7;hp=841188dcb114a7de81bdfa4749b8656397825b60;hpb=4d2a668baf0e1030f3eb55ef6276fd284e00b0aa;p=pspp

diff --git a/doc/.gitignore b/doc/.gitignore
index 841188dcb1..5605f8b4a4 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1,8 +1,23 @@
-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.info*
+pspp-dev.info-*
+pspp.html
+pspp.info
+pspp.info-*
 pspp.xml
 stamp-1
 stamp-vti