X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=doc%2Fuserprog.texi;h=df25ed9ed474d0122ec52912fc0422c7c2155a44;hp=60a53ee09cc6d876cb562d64be4544689e4716fc;hb=f4cc922385a449eca5367e5cea584ded54936648;hpb=d26c924c8cd947e91bd4f5e8d0b7f74d3460d22b

diff --git a/doc/userprog.texi b/doc/userprog.texi
index 60a53ee..df25ed9 100644
--- a/doc/userprog.texi
+++ b/doc/userprog.texi
@@ -658,15 +658,16 @@ of the rest.
 @deftypefn {System Call} bool create (const char *@var{file}, unsigned @var{initial_size})
 Creates a new file called @var{file} initially @var{initial_size} bytes
 in size.  Returns true if successful, false otherwise.
-Opening the new file is a separate operation using the @code{open}
-system call.
+Creating a new file does not open it: opening the new file is a
+separate operation which would require a @code{open} system call.
 @end deftypefn
 
 @deftypefn {System Call} bool remove (const char *@var{file})
 Deletes the file called @var{file}.  Returns true if successful, false
 otherwise.
-A file may be removed regardless of whether it is open or closed
-(@pxref{Removing an Open File}, for more information).
+A file may be removed regardless of whether it is open or closed, and
+removing an open file does not close it.  @xref{Removing an Open
+File}, for details.
 @end deftypefn
 
 @deftypefn {System Call} int open (const char *@var{file})