X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fuserprog.texi;h=1e18511511ba9fee147b30ef7cbc9ef2cc998c70;hb=6fb9126d90c6b74b401bc9128c316e9e8c1e7bb5;hp=a729418fa18fa2b1c6756d027fd598563bca5a2e;hpb=8cdc428b86d4e0bcdefa186c273f344b662fa1c4;p=pintos-anon

diff --git a/doc/userprog.texi b/doc/userprog.texi
index a729418..1e18511 100644
--- 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