X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2F.cvsignore;h=c8a1f61aba9810a8e29b345e731313d3214e0974;hb=1802b7b7b8d5e3d6754da9468e22942a8c29982b;hp=cb7722e558534872ac56ab5d72aa6200eaba66dc;hpb=59f80c83ea4d8d70c781dff37e4542f0707a5ee1;p=pintos-anon

diff --git a/doc/.cvsignore b/doc/.cvsignore
index cb7722e..c8a1f61 100644
--- a/doc/.cvsignore
+++ b/doc/.cvsignore
@@ -9,12 +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