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

diff --git a/doc/doc.texi b/doc/doc.texi
index 90edb1e..5d516d3 100644
--- a/doc/doc.texi
+++ b/doc/doc.texi
@@ -1,4 +1,4 @@
-@node Project Documentation, Debugging Tools, Coding Standards, Top
+@node Project Documentation
 @appendix Project Documentation
 
 This chapter presents a sample assignment and a filled-in design
@@ -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