Fix typo.
authorBen Pfaff <blp@cs.stanford.edu>
Tue, 2 Aug 2005 02:15:36 +0000 (02:15 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Tue, 2 Aug 2005 02:15:36 +0000 (02:15 +0000)
doc/filesys.texi

index b1b6165b609e4c932f24b4fe9a2d174bcc837749..9f06510b114e972fb3046ab5e25ffbeb32f9cebf 100644 (file)
@@ -125,7 +125,7 @@ every time a write is made off the end of the file.  Your file system
 must allow this.
 
 There should be no predetermined limit on the size of a file, except
-that a disk cannot exceed the size of the disk (minus metadata).  This
+that a file cannot exceed the size of the disk (minus metadata).  This
 also applies to the root directory file, which should now be allowed
 to expand beyond its initial limit of 16 files.