X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=doc%2Fuserprog.texi;h=7d734c616109ef741fade27dcc422de77dbf40c8;hp=4082db12025d8e1f98279fd60865bbda0e13832a;hb=bffccc54acc0560186b8c38bc4a66897de5158eb;hpb=d18533cc294552c39f69781e5a9b04b8882b6364

diff --git a/doc/userprog.texi b/doc/userprog.texi
index 4082db1..7d734c6 100644
--- a/doc/userprog.texi
+++ b/doc/userprog.texi
@@ -261,7 +261,7 @@ processor's floating-point unit when switching threads.
 
 The @file{src/examples} directory contains a few sample user
 programs.  The @file{Makefile} in this directory
-compiles the provided examples, and you can edit it
+compiles the provided examples, and you can edit it to
 compile your own programs as well.  Some of the example programs will
 only work once projects 3 or 4 have been implemented.