From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 5 Nov 2010 03:37:54 +0000 (-0700)
Subject: Add tut.texi to gitignore file.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=commitdiff_plain;h=4d2a668baf0e1030f3eb55ef6276fd284e00b0aa

Add tut.texi to gitignore file.
---

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