From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 8 Sep 2006 00:50:31 +0000 (+0000)
Subject: Clarify summary section.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=4879d73c341778a907b777da3a6a15a131c5a913

Clarify summary section.
---

diff --git a/doc/44bsd.texi b/doc/44bsd.texi
index f530824..d49f234 100644
--- a/doc/44bsd.texi
+++ b/doc/44bsd.texi
@@ -237,8 +237,8 @@ nearest integer.
 @node 4.4BSD Scheduler Summary
 @section Summary
 
-This section summarizes the calculations required to implement the
-scheduler.  It is not a complete description of scheduler requirements.
+The following formulas summarize the calculations required to implement the
+scheduler.  They are not a complete description of scheduler requirements.
 
 Every thread has a @var{nice} value between -20 and 20 directly under
 its control.  Each thread also has a priority, between 0