diff options
author | Filipus Klutiero <chealer@gmail.com> | 2013-08-07 10:29:48 +0200 |
---|---|---|
committer | Bernhard Voelker <mail@bernhard-voelker.de> | 2013-08-07 12:43:27 +0200 |
commit | 5d93df1b13844ef6cb4ea650e7f86347762d0e2b (patch) | |
tree | e3707a09e36f8c5e41d5a29c7396c7eaf389fb51 /doc | |
parent | da398ae5dfa43efda48310899c24242da4764f44 (diff) | |
download | coreutils-5d93df1b13844ef6cb4ea650e7f86347762d0e2b.tar.xz |
doc: fix typo in description of df
* doc/coreutils.texi (df invocation): s/pseude/pseudo/
* THANKS.in (Filipus Klutiero): Remove entry, now that it will be
automatically included in the generated THANKS file.
Fixes http://bugs.gnu.org/15041
Diffstat (limited to 'doc')
-rw-r--r-- | doc/coreutils.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/coreutils.texi b/doc/coreutils.texi index 81bc97f09..5139809b2 100644 --- a/doc/coreutils.texi +++ b/doc/coreutils.texi @@ -11054,7 +11054,7 @@ for that device with the shortest mount point name in the list of file systems (@var{mtab}), i.e., it hides duplicate entries, unless the @option{-a} option is specified. -With the same logic, @command{df} elides a mount entry of a dummy pseude device +With the same logic, @command{df} elides a mount entry of a dummy pseudo device if there is another mount entry of a real block device for that mount point with the same device number, e.g. the early-boot pseudo file system @samp{rootfs} is not shown per default when already the real root device has been mounted. |