X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2F.cvsignore;h=ba565ea8e851fa3d67cd013e7009f443e2685c7f;hb=629ddac81289018a0ab9caa723ae876f3b44eb64;hp=cb7722e558534872ac56ab5d72aa6200eaba66dc;hpb=92740b65a0ae8c43bfad425fbf2db4bcbd3320ea;p=pintos-anon

diff --git a/doc/.cvsignore b/doc/.cvsignore
index cb7722e..ba565ea 100644
--- a/doc/.cvsignore
+++ b/doc/.cvsignore
@@ -18,3 +18,4 @@ pintos.html
 pintos.pdf
 pintos.ps
 pintos_*.html
+sample.tmpl.texi