X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fprojects.texi;h=3437dcc265d21393216ba9ae1f8d4b3d3cba56a5;hb=02ae2d67be2382d3975e4558445a10dacd566a41;hp=bc5cd13ef8d80c42f5903eb28bf89ef2cc6f395e;hpb=932e369696f59f4aaf3a2d6e5ece37475548d68b;p=pintos-anon

diff --git a/doc/projects.texi b/doc/projects.texi
index bc5cd13..3437dcc 100644
--- a/doc/projects.texi
+++ b/doc/projects.texi
@@ -1,14 +1,66 @@
-@node Top, Project 1--Threads, (dir), (dir)
+\input texinfo                          @c -*- texinfo -*-
+@c %**start of header
+@setfilename projects.info
+@settitle Pintos Projects
+@c %**end of header
+
+@c @bibref{} macro
+@iftex
+@macro bibref{cite}
+[\cite\]
+@end macro
+@end iftex
+@ifinfo
+@ifnotplaintext
+@macro bibref{cite}
+@ref{\cite\}
+@end macro
+@end ifnotplaintext
+@ifplaintext
+@macro bibref{cite}
+[\cite\]
+@end macro
+@end ifplaintext
+@end ifinfo
+@ifhtml
+@macro bibref{cite}
+[@ref{\cite\}]
+@end macro
+@end ifhtml
+
+@titlepage
+@title Pintos Projects
+@end titlepage
+
+@contents
+
+@ifnottex
+@node Top, Introduction, (dir), (dir)
 @top Pintos Projects
+@end ifnottex
 
 @menu
+* Introduction::                
 * Project 1--Threads::          
 * Project 2--User Programs::    
 * Project 3--Virtual Memory::   
 * Project 4--File Systems::     
+* References::
+* Multilevel Feedback Scheduling::  
+* Coding Standards::            
+* Project Documentation::       
+* Debugging Tools::             
 @end menu
 
+@include intro.texi
 @include threads.texi
 @include userprog.texi
 @include vm.texi
 @include filesys.texi
+@include references.texi
+@include mlfqs.texi
+@include standards.texi
+@include doc.texi
+@include debug.texi
+
+@bye