diff options
author | Guilhem Moulin <guilhem@fripost.org> | 2016-03-11 19:41:13 +0100 |
---|---|---|
committer | Guilhem Moulin <guilhem@fripost.org> | 2016-03-11 19:41:13 +0100 |
commit | ebd2e482e8b20816caada39022be92319f4aeef9 (patch) | |
tree | d744e2c11385a86b8d7faf3fdec70d5584ff5f99 /pullimap.md | |
parent | 7f15c76976dc76b580a2e182ad1538cd6359f926 (diff) |
Explicitly specify inner links for older pandoc.
Diffstat (limited to 'pullimap.md')
-rw-r--r-- | pullimap.md | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pullimap.md b/pullimap.md index 5251706..19279ca 100644 --- a/pullimap.md +++ b/pullimap.md @@ -24,16 +24,16 @@ A *statefile* is used to keep track of the mailbox's `UIDVALIDITY` and `UIDNEXT` values. While `pullimap` is running, the *statefile* is also used to keep track of UIDs being delivered, which avoids duplicate deliveries in case the process is interrupted. -See the **[control flow]** section below for details. +See the **[control flow](#control-flow)** section below for details. Options ======= `--config=`*FILE* -: Specify an alternate [configuration file]. Relative paths start - from *$XDG_CONFIG_HOME*, or *~/.config* if the `XDG_CONFIG_HOME` - environment variable is unset. +: Specify an alternate [configuration file](#configuration-file). + Relative paths start from *$XDG_CONFIG_HOME*, or *~/.config* if the + `XDG_CONFIG_HOME` environment variable is unset. `--idle`[`=`*seconds*] |