Ignore more files.

[pintos-anon] / doc / .cvsignore

diff --git a/doc/.cvsignore b/doc/.cvsignore
new file mode 100644 (file)
index 0000000..f1ff90d
--- /dev/null
+++ b/doc/.cvsignore
@@ -0,0 +1,15 @@
+*.aux
+*.cp
+*.dvi
+*.fn
+*.info
+*.ky
+*.log
+*.pg
+*.toc
+*.tp
+*.vr
+mlfqs1.png
+mlfqs2.png
+projects.html
+projects_*.html