X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fdoc.texi;h=c43a5bb9d9df506e717d6a626d082abc04840d61;hb=ef630eaec47e13ce3bda0cdc876869fc4a185e8e;hp=90edb1e4fd07c74bb65763b47592b7b6eb0ae92b;hpb=615bf3b3d2a8573ed6fb9ddc0055745e163ac999;p=pintos-anon

diff --git a/doc/doc.texi b/doc/doc.texi
index 90edb1e..c43a5bb 100644
--- 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