From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sat, 8 Feb 2014 16:57:08 +0000 (-0800)
Subject: doc: Add files generated by TeX to gitignore.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=df61e46811f84cff42a3b663b345477c7438bce3;p=pspp

doc: Add files generated by TeX to gitignore.
---

diff --git a/doc/.gitignore b/doc/.gitignore
index 841188dcb1..9ee870e042 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -2,7 +2,19 @@ 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