X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fuserprog.texi;h=817c8a0b31ade12e43477dc1eee70ad236349285;hb=ee3116952fce74dde22dd0ce78fa2f97eaadd1a6;hp=3473e961ac1aeaa4b163e6a4808429305ead487e;hpb=acbd6759b0d3e5cddfdd651b8f95fad628cf7273;p=pintos-anon

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