X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fpintos.texi;h=40e702fc7831aa8ab5b1542b4a4e20413f5af474;hb=919347c164606c3f1544b2e8bd62f505aeda80a1;hp=1dd83fdc65f1c6317cdefb959430424e40409398;hpb=1e70978fdf2e3dd9a3c2153dab259bc689fd7d31;p=pintos-anon

diff --git a/doc/pintos.texi b/doc/pintos.texi
index 1dd83fd..40e702f 100644
--- a/doc/pintos.texi
+++ b/doc/pintos.texi
@@ -1,6 +1,7 @@
 \input texinfo                          @c -*- texinfo -*-
+
 @c %**start of header
-@setfilename projects.info
+@setfilename pintos.info
 @settitle Pintos Projects
 @c %**end of header
 
@@ -39,9 +40,9 @@
 @titlepage
 @title Pintos
 @author by Ben Pfaff
-@author based on past contributions of CS 140 TAs
 @end titlepage
 
+@shortcontents
 @contents
 
 @ifnottex
@@ -51,30 +52,37 @@
 
 @menu
 * Introduction::                
-* Pintos Tour::
 * Project 1--Threads::          
 * Project 2--User Programs::    
 * Project 3--Virtual Memory::   
 * Project 4--File Systems::     
-* References::
-* Multilevel Feedback Scheduling::  
+* Reference Guide::
+* 4.4BSD Scheduler::  
 * Coding Standards::            
 * Project Documentation::       
 * Debugging Tools::             
 * Development Tools::
+* Installing Pintos::
+* Bibliography::
+* License::
 @end menu
 
+@c institution-local settings
+@include localsettings.texi
+
 @include intro.texi
-@include tour.texi
 @include threads.texi
 @include userprog.texi
 @include vm.texi
 @include filesys.texi
-@include references.texi
-@include mlfqs.texi
+@include reference.texi
+@include 44bsd.texi
 @include standards.texi
 @include doc.texi
 @include debug.texi
 @include devel.texi
+@include installation.texi
+@include bibliography.texi
+@include license.texi
 
 @bye