Ignore pintos.text.

diff --git a/doc/.cvsignore b/doc/.cvsignore
index ba565ea8e851fa3d67cd013e7009f443e2685c7f..c8a1f61aba9810a8e29b345e731313d3214e0974 100644 (file)
--- 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