Rename .cvsignore files to .gitignore.

[pintos-anon] / doc / .gitignore

diff --git a/doc/.gitignore b/doc/.gitignore
new file mode 100644 (file)
index 0000000..fbb3346
--- /dev/null
+++ b/doc/.gitignore
@@ -0,0 +1,22 @@
+*.aux
+*.cp
+*.dvi
+*.fn
+*.info*
+*.ky
+*.log
+*.pg
+*.toc
+*.tp
+*.vr
+mlfqs1.pdf
+mlfqs1.png
+mlfqs2.pdf
+mlfqs2.png
+pintos.html
+pintos.pdf
+pintos.ps
+pintos.text
+pintos_*.html
+projects.html
+sample.tmpl.texi