Update docs.

[pintos-anon] / doc / intro.texi

diff --git a/doc/intro.texi b/doc/intro.texi
index 6ee7ef9f8f24d49238f854d5395b6aa2e50c41f8..94a1bd6e42c8e3f8155852fe7cde345b547ed41b 100644 (file)
--- a/doc/intro.texi
+++ b/doc/intro.texi
@@ -210,7 +210,7 @@ are not very useful for our purposes.
 (If no window appeared at all, and you just got a terminal full of
 corrupt-looking text, then you're probably logged in remotely and X
 forwarding is not set up correctly.  In this case, you can fix your X
 (If no window appeared at all, and you just got a terminal full of
 corrupt-looking text, then you're probably logged in remotely and X
 forwarding is not set up correctly.  In this case, you can fix your X

-setup, or you can use the @option{-nv} option.)
+setup, or you can use the @option{nv} option.)

 
 The text printed by Pintos inside Bochs probably went by too quickly
 to read.  However, you've probably noticed by now that the same text
 
 The text printed by Pintos inside Bochs probably went by too quickly
 to read.  However, you've probably noticed by now that the same text


@@ -227,9 +227,9 @@ options.  You can select a simulator other than Bochs, although the
 Leland systems only have Bochs installed.  You can start the simulator
 running a debugger (@pxref{i386-elf-gdb}).  You can set the amount of
 memory to give the VM.  Finally, you can set up how you want VM output
 Leland systems only have Bochs installed.  You can start the simulator
 running a debugger (@pxref{i386-elf-gdb}).  You can set the amount of
 memory to give the VM.  Finally, you can set up how you want VM output

-to be displayed: use @option{-nv} to turn off the VGA display,
+to be displayed: use @option{-v} to turn off the VGA display,

 @option{-t} to use your terminal window as the VGA display instead of
 @option{-t} to use your terminal window as the VGA display instead of

-opening a new window, or @option{-ns} to suppress the serial output to
+opening a new window, or @option{-s} to suppress the serial output to

 @code{stdout}.
 
 The @command{pintos} program offers commands other than @samp{run} and
 @code{stdout}.
 
 The @command{pintos} program offers commands other than @samp{run} and