X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2F.cvsignore;h=c8a1f61aba9810a8e29b345e731313d3214e0974;hb=01711714d48e7c2383da109c6af92aebe552eae6;hp=cb7722e558534872ac56ab5d72aa6200eaba66dc;hpb=ad3d6b23597a3ab6707e89355122a04499289965;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