Clarify summary section.

[pintos-anon] / doc / 44bsd.texi

diff --git a/doc/44bsd.texi b/doc/44bsd.texi
index f530824e8296f0514885479377f4d3804b1e1417..d49f23490281312499a91d2d00ef9e7bd9f6c91d 100644 (file)
--- 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