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

diff --git a/doc/projects.texi b/doc/projects.texi
index 4c1465f..f803ac0 100644
--- a/doc/projects.texi
+++ b/doc/projects.texi
@@ -1,5 +1,19 @@
+\input texinfo                          @c -*- texinfo -*-
+@c %**start of header
+@setfilename projects.info
+@settitle Pintos Projects
+@c %**end of header
+
+@titlepage
+@title Pintos Projects
+@end titlepage
+
+@contents
+
+@ifnottex
 @node Top, Introduction, (dir), (dir)
 @top Pintos Projects
+@end ifnottex
 
 @menu
 * Introduction::                
@@ -7,6 +21,10 @@
 * Project 2--User Programs::    
 * Project 3--Virtual Memory::   
 * Project 4--File Systems::     
+* Multilevel Feedback Scheduling::  
+* Coding Standards::            
+* Project Documentation::       
+* Debugging Tools::             
 @end menu
 
 @include intro.texi
@@ -14,5 +32,9 @@
 @include userprog.texi
 @include vm.texi
 @include filesys.texi
-@c @include devel.texi
-@c @include standards.texi
+@include mlfqs.texi
+@include standards.texi
+@include doc.texi
+@include debug.texi
+
+@bye