X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fuserprog.texi;h=e02c50833aa93fa7a45cca81f19be7e43d6cbe9a;hb=6b2e303ef10315e0d561bb0775d9f63b35e86a47;hp=031efdfa08c72457813a92ffa1a6a3b0234c6aba;hpb=3be5bf65401d5d7b044ef343cdd1ed49e5d58c63;p=pintos-anon

diff --git a/doc/userprog.texi b/doc/userprog.texi
index 031efdf..e02c508 100644
--- a/doc/userprog.texi
+++ b/doc/userprog.texi
@@ -261,7 +261,7 @@ extending @func{process_execute} so that instead of simply taking a
 program file name as its argument, it divides it into words at spaces.
 The first word is the program name, the second word is the first
 argument, and so on.  That is, @code{process_execute("grep foo bar")}
-should run @program{grep} passing two arguments @code{foo} and
+should run @command{grep} passing two arguments @code{foo} and
 @file{bar}.  A few details:
 
 @itemize