aboutsummaryrefslogtreecommitdiffstats
path: root/pullimap.md
diff options
context:
space:
mode:
authorGuilhem Moulin <guilhem@fripost.org>2016-03-11 19:41:13 +0100
committerGuilhem Moulin <guilhem@fripost.org>2016-03-11 19:41:13 +0100
commitebd2e482e8b20816caada39022be92319f4aeef9 (patch)
treed744e2c11385a86b8d7faf3fdec70d5584ff5f99 /pullimap.md
parent7f15c76976dc76b580a2e182ad1538cd6359f926 (diff)
Explicitly specify inner links for older pandoc.
Diffstat (limited to 'pullimap.md')
-rw-r--r--pullimap.md8
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*]