From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 20 Dec 2005 20:47:01 +0000 (+0000)
Subject: Ignore pintos.text.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=91e7e153016968cb1276f0f81d1b0a50879a7f32

Ignore pintos.text.
---

diff --git a/doc/.cvsignore b/doc/.cvsignore
index ba565ea..c8a1f61 100644
--- a/doc/.cvsignore
+++ b/doc/.cvsignore
@@ -9,13 +9,14 @@
 *.toc
 *.tp
 *.vr
-mlfqs1.png
-mlfqs2.png
 mlfqs1.pdf
+mlfqs1.png
 mlfqs2.pdf
-projects.html
+mlfqs2.png
 pintos.html
 pintos.pdf
 pintos.ps
+pintos.text
 pintos_*.html
+projects.html
 sample.tmpl.texi