X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2F.cvsignore;h=c8a1f61aba9810a8e29b345e731313d3214e0974;hb=91e7e153016968cb1276f0f81d1b0a50879a7f32;hp=ba565ea8e851fa3d67cd013e7009f443e2685c7f;hpb=fa4e1226687340dfa1972bc7dbe1cb286b7c1f6c;p=pintos-anon

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