- added thread_foreach
[pintos-anon] / doc / doc.texi
index 90edb1e4fd07c74bb65763b47592b7b6eb0ae92b..5d516d36359d582cdfa2f6100fa373e6a871e584 100644 (file)
@@ -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