X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fprojects.texi;h=b5b08f5fe1f18405d7963d0073075e83bc5017d7;hb=c574297b7acbcbf04d128113cf91dbbcc1730f9c;hp=3437dcc265d21393216ba9ae1f8d4b3d3cba56a5;hpb=4b82f041ebf3300af81fc19cb62fd8915e26aa94;p=pintos-anon

diff --git a/doc/projects.texi b/doc/projects.texi
index 3437dcc..b5b08f5 100644
--- 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