-@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
@node Sample Design Document
@section Sample Design Document
-@verbatiminclude sample.tmpl
+@example
+@include sample.tmpl.texi
+@end example