X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fuserprog.texi;h=d96d02d62bb1ce6387749ae066ffc41d98f0cf11;hb=c9bacb32f51089f33c96233537f5f179cae482c4;hp=dd3bf12b0a50ced384546a39dd1b0692fd443000;hpb=b9a4dcdda114dff1e03ca5f2e5be9821e80c2486;p=pintos-anon

diff --git a/doc/userprog.texi b/doc/userprog.texi
index dd3bf12..d96d02d 100644
--- a/doc/userprog.texi
+++ b/doc/userprog.texi
@@ -191,14 +191,13 @@ directory.  By default, the @file{Makefile} in this directory will
 compile the test programs we provide.  You can edit the
 @file{Makefile} to compile your own test programs as well.
 
-One thing you should realize immediately is that, until you use the
-above operation to copy a test program to the emulated disk, Pintos
-will be unable to do very much useful work.  You will also find that
-you won't be able to do interesting things until you copy a variety of
-programs to the disk.  A useful technique is to create a clean
-reference disk and copy that over whenever you trash your
-@file{fs.dsk} beyond a useful state, which may happen occasionally
-while debugging.
+One thing you should realize immediately is that, until you copy a
+test program to the emulated disk, Pintos will be unable to do very
+much useful work.  You will also find that you won't be able to do
+interesting things until you copy a variety of programs to the disk.
+A useful technique is to create a clean reference disk and copy that
+over whenever you trash your @file{fs.dsk} beyond a useful state,
+which may happen occasionally while debugging.
 
 @node Virtual Memory Layout
 @section Virtual Memory Layout