From 3a3e4db216f7fc7432900cff794d380760fcfd13 Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Sun, 17 Oct 2004 00:47:24 +0000 Subject: [PATCH] Fix typo. --- doc/userprog.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.30.2