X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fprojects.texi;h=90b85e97eb5c6231d9b58c612fb8f2f56dc7618e;hb=699944803572c46c550a39027c0ebd935b0d61bc;hp=a342fe7cc769098e7cb266a4fd6becfad815e161;hpb=19fe94015fe7f89f801652b1dd9d089b01704989;p=pintos-anon

diff --git a/doc/projects.texi b/doc/projects.texi
index a342fe7..90b85e9 100644
--- a/doc/projects.texi
+++ b/doc/projects.texi
@@ -9,6 +9,8 @@
 * Project 4--File Systems::     
 * Multilevel Feedback Scheduling::  
 * Coding Standards::            
+* Project Documentation::       
+* Debugging Tools::             
 @end menu
 
 @include intro.texi
@@ -16,7 +18,7 @@
 @include userprog.texi
 @include vm.texi
 @include filesys.texi
-@c @include devel.texi
 @include mlfqs.texi
 @include standards.texi
 @include doc.texi
+@include debug.texi