X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fprojects.texi;h=4c1465ff6711f431688d94cb0f7d83e69897c353;hb=40140f51bb6c6bf0191145497a5db115083fe3af;hp=bc5cd13ef8d80c42f5903eb28bf89ef2cc6f395e;hpb=142e3b78061fe9df4ff5fd2fe18d5cf1242e178c;p=pintos-anon

diff --git a/doc/projects.texi b/doc/projects.texi
index bc5cd13..4c1465f 100644
--- a/doc/projects.texi
+++ b/doc/projects.texi
@@ -1,14 +1,18 @@
-@node Top, Project 1--Threads, (dir), (dir)
+@node Top, Introduction, (dir), (dir)
 @top Pintos Projects
 
 @menu
+* Introduction::                
 * Project 1--Threads::          
 * Project 2--User Programs::    
 * Project 3--Virtual Memory::   
 * Project 4--File Systems::     
 @end menu
 
+@include intro.texi
 @include threads.texi
 @include userprog.texi
 @include vm.texi
 @include filesys.texi
+@c @include devel.texi
+@c @include standards.texi