From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 22 Oct 2004 05:18:55 +0000 (+0000)
Subject: Fix.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=6b2e303ef10315e0d561bb0775d9f63b35e86a47

Fix.
---

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