Update docs.

[pintos-anon] / doc / userprog.texi

diff --git a/doc/userprog.texi b/doc/userprog.texi
index a729418fa18fa2b1c6756d027fd598563bca5a2e..1e18511511ba9fee147b30ef7cbc9ef2cc998c70 100644 (file)
--- a/doc/userprog.texi
+++ b/doc/userprog.texi
@@ -529,9 +529,9 @@ Each character is 1 byte.
 @end itemize
 
 @item
-@b{Why doesn't keyboard input work with @option{-nv}?}
+@b{Why doesn't keyboard input work with @option{-v}?}
 
-Serial input isn't implemented.  Don't use @option{-nv} if you want to
+Serial input isn't implemented.  Don't use @option{-v} if you want to
 use the shell or otherwise type at the keyboard.
 @end enumerate