X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=doc%2Fdoc.texi;h=c43a5bb9d9df506e717d6a626d082abc04840d61;hb=629ddac81289018a0ab9caa723ae876f3b44eb64;hp=90edb1e4fd07c74bb65763b47592b7b6eb0ae92b;hpb=92740b65a0ae8c43bfad425fbf2db4bcbd3320ea;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