X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2F.gitignore;h=841188dcb114a7de81bdfa4749b8656397825b60;hb=refs%2Fbuilds%2F20131129030511%2Fpspp;hp=c375556614708dbe4d085e3066efc56809a0007e;hpb=f550aee00a62fe1d8baf62d83cd7efef6cc2ee92;p=pspp

diff --git a/doc/.gitignore b/doc/.gitignore
index c375556614..841188dcb1 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -6,5 +6,6 @@ pspp.info*
 pspp.xml
 stamp-1
 stamp-vti
+tut.texi
 version-dev.texi
 version.texi