Don't say that the design doc itself is 50% of the grade.

[pintos-anon] / doc / intro.texi

diff --git a/doc/intro.texi b/doc/intro.texi
index 27ee2cbd11c409d051fd1fbd27f380582825221a..57327781f913b8cef75d1c7733e33240373c1d43 100644 (file)
--- a/doc/intro.texi
+++ b/doc/intro.texi
@@ -385,7 +385,8 @@ We will judge your design based on the design document and the source
 code that you submit.  We will read your entire design document and much
 of your source code.  
 
-Don't forget that the design document is 50% of your project grade.  It
+Don't forget that design quality, including the design document, is 50%
+of your project grade.  It
 is better to spend one or two hours writing a good design document than
 it is to spend that time getting the last 5% of the points for tests and
 then trying to rush through writing the design document in the last 15