Update docs.

[pintos-anon] / doc / projects.texi

diff --git a/doc/projects.texi b/doc/projects.texi
index 3437dcc265d21393216ba9ae1f8d4b3d3cba56a5..b5b08f5fe1f18405d7963d0073075e83bc5017d7 100644 (file)
--- a/doc/projects.texi
+++ b/doc/projects.texi
@@ -28,6 +28,14 @@
 @end macro
 @end ifhtml
 
+@macro func{name}
+@code{\name\()}
+@end macro
+
+@macro struct{name}
+@code{struct \name\}
+@end macro
+
 @titlepage
 @title Pintos Projects
 @end titlepage
@@ -41,6 +49,7 @@
 
 @menu
 * Introduction::                
+* Pintos Tour::
 * Project 1--Threads::          
 * Project 2--User Programs::    
 * Project 3--Virtual Memory::   
@@ -50,9 +59,11 @@
 * Coding Standards::            
 * Project Documentation::       
 * Debugging Tools::             
+* Development Tools::
 @end menu
 
 @include intro.texi
+@include tour.texi
 @include threads.texi
 @include userprog.texi
 @include vm.texi
@@ -62,5 +73,6 @@
 @include standards.texi
 @include doc.texi
 @include debug.texi
+@include devel.texi
 
 @bye