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

[pintos-anon] / doc / doc.texi

diff --git a/doc/doc.texi b/doc/doc.texi
index 90edb1e4fd07c74bb65763b47592b7b6eb0ae92b..c43a5bb9d9df506e717d6a626d082abc04840d61 100644 (file)
--- a/doc/doc.texi
+++ b/doc/doc.texi
@@ -54,4 +54,6 @@ joins @var{B}, then @var{A} joins @var{C}), and so on.
 @node Sample Design Document
 @section Sample Design Document
 
-@verbatiminclude sample.tmpl
+@example
+@include sample.tmpl.texi
+@end example