X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=doc%2F.cvsignore;h=ba565ea8e851fa3d67cd013e7009f443e2685c7f;hb=ffd63f8d7e284c6d49889666953b581db8a8d0cd;hp=cb7722e558534872ac56ab5d72aa6200eaba66dc;hpb=59f80c83ea4d8d70c781dff37e4542f0707a5ee1;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