texi2html doesn't support @verbatiminclude, so kluge it.

[pintos-anon] / doc / .cvsignore

diff --git a/doc/.cvsignore b/doc/.cvsignore
index cb7722e558534872ac56ab5d72aa6200eaba66dc..ba565ea8e851fa3d67cd013e7009f443e2685c7f 100644 (file)
--- a/doc/.cvsignore
+++ b/doc/.cvsignore
@@ -18,3 +18,4 @@ pintos.html
 pintos.pdf
 pintos.ps
 pintos_*.html
+sample.tmpl.texi