diff options
author | Matthias Andree <matthias.andree@gmx.de> | 2019-09-28 23:01:07 +0200 |
---|---|---|
committer | Matthias Andree <matthias.andree@gmx.de> | 2019-09-28 23:01:07 +0200 |
commit | 21fd7e90f05861690ae1d4324c0d0da393d23a0e (patch) | |
tree | 0a705b37dda31b9e84e2e1e8662e45b5c6ec6b60 | |
parent | ebfc69685a4e65d906c57f2449da730f32e32e0f (diff) | |
download | fetchmail-21fd7e90f05861690ae1d4324c0d0da393d23a0e.tar.gz fetchmail-21fd7e90f05861690ae1d4324c0d0da393d23a0e.tar.bz2 fetchmail-21fd7e90f05861690ae1d4324c0d0da393d23a0e.zip |
Fix typos.
-rw-r--r-- | fetchmail.man | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/fetchmail.man b/fetchmail.man index 1face9b4..d289a0fd 100644 --- a/fetchmail.man +++ b/fetchmail.man @@ -2898,10 +2898,10 @@ and the user has no administrator privileges to remedy the problem. (documented since 6.4.1): This variable is nomally set to the user's home directory. If it is set to a different directory than what is the password database, HOME takes -prececence. +precedence. .IP \fBHOME_ETC\fP -(documented corrected to match behaviour code since 6.4.1): +(documentation corrected to match behaviour code since 6.4.1): If the HOME_ETC variable is set, it will override fetchmail's idea of $HOME, i. e. fetchmail will read .fetchmailrc, .fetchids, .fetchmail.pid and .netrc from $HOME_ETC instead of $HOME (or if HOME is also unset, |