From: Ben Pfaff <blp@cs.stanford.edu>
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