Major revisions to documentation.

[pintos-anon] / doc / pintos.texi

diff --git a/doc/pintos.texi b/doc/pintos.texi
index 02db01633e19bbd8bbff707b5f376e67d39ec05b..777b2f45870d603fc2070cd027d2db97822a3cf6 100644 (file)
--- a/doc/pintos.texi
+++ b/doc/pintos.texi
@@ -41,6 +41,7 @@
 @author by Ben Pfaff
 @end titlepage
 
+@shortcontents
 @contents
 
 @ifnottex
@@ -50,30 +51,30 @@
 
 @menu
 * Introduction::                
-* Pintos Tour::
 * Project 1--Threads::          
 * Project 2--User Programs::    
 * Project 3--Virtual Memory::   
 * Project 4--File Systems::     
-* References::
+* Reference Guide::
 * 4.4BSD Scheduler::  
 * Coding Standards::            
 * Project Documentation::       
 * Debugging Tools::             
 * Development Tools::
+* Bibliography::
 @end menu
 
 @include intro.texi
-@include tour.texi
 @include threads.texi
 @include userprog.texi
 @include vm.texi
 @include filesys.texi
-@include references.texi
+@include reference.texi
 @include 44bsd.texi
 @include standards.texi
 @include doc.texi
 @include debug.texi
 @include devel.texi
+@include bibliography.texi
 
 @bye