Try another conversion pass to salvage more of the links.

1 files changed, 32 insertions, 17 deletions

diff --git a/doc/12.RPKI.CA.Configuration.md b/doc/12.RPKI.CA.Configuration.md
index d1ded6fb..22804b18 100644
--- a/doc/12.RPKI.CA.Configuration.md
+++ b/doc/12.RPKI.CA.Configuration.md
@@ -48,7 +48,7 @@ during installation, it's either `/etc/rpki.conf` or
 
 There are _many_ other configuration options, but setting the above correctly
 should suffice to get you started with the default configuration. Read on for
-details if you need to know more, otherwise go to next steps.
+details if you need to know more, otherwise go to [next steps][1].
 
 ## Configuration file syntax
 
@@ -106,7 +106,7 @@ The list of options that you can set in `rpki.conf` is ridiculously long. The
 default configuration includes what we hope are reasonable default settings
 for all of them, so in many cases you will never need to know about most of
 these options. A number of the options for individual programs are specified
-in terms of other options, using the macro facility described above.
+in terms of other options, using the macro facility [described above][2].
 
 In general, if you don't understand what an option does, you probably should
 leave it alone.
@@ -115,14 +115,14 @@ Detailed information about individual options is listed in separate sections,
 one per section of `rpki.conf`. These documentation sections are generated
 from the same source file as the sample configuration file.
 
-  * Common Options 
-  * [myrpki] section 
-  * [rpkid] section 
-  * [irdbd] section 
-  * [pubd] section 
-  * [rootd] section 
-  * [web_portal] section 
-  * [autoconf] section 
+  * [ Common Options ][3]
+  * [ [myrpki] section ][4]
+  * [ [rpkid] section ][5]
+  * [ [irdbd] section ][6]
+  * [ [pubd] section ][7]
+  * [ [rootd] section ][8]
+  * [ [web_portal] section ][9]
+  * [ [autoconf] section ][10]
 
 ## rsyncd.conf
 
@@ -154,24 +154,39 @@ pages for more details.
 ## Running your own RPKI root
 
 In general, we do not recommend running your own RPKI root environment, for
-various reasons. If, however, you need to do so, you should read  the
-documentation for the [rootd] section , and  the instructions for creating a
-RPKI root certificate .
+various reasons. If, however, you need to do so, you should read [ the
+documentation for the [rootd] section ][8], and [ the instructions for
+creating a RPKI root certificate ][11].
 
 ## Running rpkid or pubd on a different server
 
 The default configuration runs rpkid, pubd (if enabled) and the back end code
 all on the same server. For most purposes, this is fine, but in some cases you
 might want to split these functions up among different servers. If you need to
-do this, see these instructions.
+do this, see [these instructions][12].
 
 ## Configuring the test harness
 
 We expect the test harness to be of interest primarily to developers, but if
-you need to understand how it works, you will probably want to read these
-instructions.
+you need to understand how it works, you will probably want to read [these
+instructions][13].
 
 ## Next steps
 
 Once you've finished with configuration, the next thing you should read is the
-MySQL setup instructions.
+[MySQL setup instructions][14].
+
+[1]: 12.RPKI.CA.Configuration.md
+[2]: 12.RPKI.CA.Configuration.md
+[3]: 13.RPKI.CA.Configuration.Common.md
+[4]: 14.RPKI.CA.Configuration.myrpki.md
+[5]: 15.RPKI.CA.Configuration.rpkid.md
+[6]: 16.RPKI.CA.Configuration.irdbd.md
+[7]: 17.RPKI.CA.Configuration.pubd.md
+[8]: 18.RPKI.CA.Configuration.rootd.md
+[9]: 20.RPKI.CA.Configuration.web_portal.md
+[10]: 21.RPKI.CA.Configuration.autoconf.md
+[11]: 19.RPKI.CA.Configuration.CreatingRoot.md
+[12]: 23.RPKI.CA.Configuration.DifferentServer.md
+[13]: 22.RPKI.CA.Configuration.Tests.md
+[14]: 24.RPKI.CA.MySQLSetup.md