aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--doc/interimap.1.md4
-rw-r--r--doc/pullimap.1.md4
2 files changed, 4 insertions, 4 deletions
diff --git a/doc/interimap.1.md b/doc/interimap.1.md
index ee92668..c4c0241 100644
--- a/doc/interimap.1.md
+++ b/doc/interimap.1.md
@@ -192,7 +192,7 @@ Options
: Show the version number and exit.
-Configuration file
+Configuration file {#configuration-file}
==================
Unless told otherwise by the `--config=FILE` command-line option,
@@ -429,7 +429,7 @@ Valid options are:
: File containing trusted certificates to use during server
certificate authentication if `SSL_verify=YES`.
-Supported extensions
+Supported extensions {#supported-extensions}
====================
`interimap` takes advantage of servers supporting the following
diff --git a/doc/pullimap.1.md b/doc/pullimap.1.md
index d40ece8..5028a14 100644
--- a/doc/pullimap.1.md
+++ b/doc/pullimap.1.md
@@ -71,7 +71,7 @@ Options
: Show the version number and exit.
-Configuration file
+Configuration file {#configuration-file}
==================
Unless told otherwise by the `--config=FILE` command-line option,
@@ -249,7 +249,7 @@ Valid options are:
: File containing trusted certificates to use during server
certificate authentication if `SSL_verify=YES`.
-Control flow
+Control flow {#control-flow}
============
`pullimap` opens the *statefile* corresponding to a given configuration