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