From: Ben Pfaff Date: Sun, 17 Oct 2004 00:47:24 +0000 (+0000) Subject: Fix typo. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3a3e4db216f7fc7432900cff794d380760fcfd13;p=pintos-anon Fix typo. --- diff --git a/doc/userprog.texi b/doc/userprog.texi index 3473e96..817c8a0 100644 --- a/doc/userprog.texi +++ b/doc/userprog.texi @@ -129,7 +129,7 @@ system implementation. You need to be able to create and format simulated disks. The @command{pintos} program provides this functionality with its -@option{make-disk} command. From the @file{filesys/build} directory, +@option{make-disk} command. From the @file{userprog/build} directory, execute @code{pintos make-disk fs.dsk 2}. This command creates a 2 MB simulated disk named @file{fs.dsk}. (It does not actually start Pintos.) Then format the disk by passing the @option{-f} option to