From: Ben Pfaff <blp@cs.stanford.edu>
Date: Thu, 7 Oct 2004 02:44:59 +0000 (+0000)
Subject: Update docs.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=74683d1ff1711123724d7a680ce3629ad212b52e

Update docs.
---

diff --git a/doc/threads.texi b/doc/threads.texi
index 5e5335a..e1191bf 100644
--- a/doc/threads.texi
+++ b/doc/threads.texi
@@ -665,7 +665,7 @@ Make the timer tick more slowly by decreasing @code{TIMER_FREQ} in
 @file{timer.h} to its minimum value of 19.
 
 @item
-Increase the serial output speed to the maximum of 115200 bps by
+Increase the serial output speed to the maximum of 115,200 bps by
 modifying the call to @func{set_serial} in @func{serial_init_poll} in
 @file{devices/serial.c}.
 @end itemize