X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fuserprog.texi;h=72e8d8177a07b4641b3762e275b6e71e740b0a40;hb=042fc8b99ded3537ec4c27074a0c5dff5b569a04;hp=62e29a6bcd0a873bd8fcb4f039caf14319cc763c;hpb=f96038caf01913386c31c9cfb7058dc6eee3c391;p=pintos-anon

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