From: Ben Pfaff <blp@cs.stanford.edu>
Date: Wed, 15 Dec 2004 02:27:20 +0000 (+0000)
Subject: Wording fixes.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=042fc8b99ded3537ec4c27074a0c5dff5b569a04;p=pintos-anon

Wording fixes.
---

diff --git a/doc/userprog.texi b/doc/userprog.texi
index 62e29a6..72e8d81 100644
--- a/doc/userprog.texi
+++ b/doc/userprog.texi
@@ -140,9 +140,10 @@ represented as a file, the number of files that may be created is also
 limited.
 
 @item
-File data is allocated as a single extent, so that external
-fragmentation can become a serious problem as a file system is used over
-time.
+File data is allocated as a single extent, that is, data in a single
+file must occupy a contiguous range of sectors on disk.  External
+fragmentation can therefore become a serious problem as a file system is
+used over time.
 
 @item
 No subdirectories.
@@ -159,6 +160,7 @@ provided in any case.
 However one important feature is included:
 
 @itemize @bullet
+@item
 Unix-like semantics for filesys_remove() are implemented.
 That is, if a file is open when it is removed, its blocks
 are not deallocated and it may still be accessed by the