X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fuserprog.texi;h=d96d02d62bb1ce6387749ae066ffc41d98f0cf11;hb=70d2a5ceda00c09e6b3909b266e92baf2e19703d;hp=dd3bf12b0a50ced384546a39dd1b0692fd443000;hpb=6a7de411cc3280c7ae284ce32b98430ed1718f7b;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