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