diff options
Diffstat (limited to 'doc/sources/unix.texi')
-rw-r--r-- | doc/sources/unix.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/sources/unix.texi b/doc/sources/unix.texi index e8a189c5b..0ef894a42 100644 --- a/doc/sources/unix.texi +++ b/doc/sources/unix.texi @@ -12,7 +12,7 @@ be required to make them available. * Ports and descriptors:: Ports, file descriptors and how they interact. * Extended I/O:: Reading and writing to ports. -* File system:: Working in a hierarchical filesystem. +* File system:: Working in a hierarchical file system. * User database:: Information about users from system databases. * Processes:: Information and control of Unix processes. * Terminals:: Terminals and pseudo-terminals. |