aboutsummaryrefslogtreecommitdiff
path: root/doc/01.RPKI.Installation.md
diff options
context:
space:
mode:
Diffstat (limited to 'doc/01.RPKI.Installation.md')
-rw-r--r--doc/01.RPKI.Installation.md14
1 files changed, 10 insertions, 4 deletions
diff --git a/doc/01.RPKI.Installation.md b/doc/01.RPKI.Installation.md
index 4af682a3..c530ee7e 100644
--- a/doc/01.RPKI.Installation.md
+++ b/doc/01.RPKI.Installation.md
@@ -6,7 +6,7 @@ platform on which you're trying to install.
## Debian and Ubuntu
On Ubuntu 16.04 LTS ("Xenial") or Debian 8 ("Jessie"), you can use
-[Debian binary packages](02.RPKI.Installation.DebianPackages.md).
+[Debian binary packages][Debian].
## Simple RPKI Cache Install
@@ -26,16 +26,22 @@ CA.
## FreeBSD
-On FreeBSD, you can use [FreeBSD ports](03.RPKI.Installation.FreeBSDPorts.md).
+On FreeBSD, you can use [FreeBSD ports][FreeBSD].
## Other Platforms
On all other platforms, or on the above platforms if the pre-packaged versions
don't suit your needs, you will have to
-[install from source code](04.RPKI.Installation.FromSource.md).
+[install from source code][Source].
Once you've finished installing the code, you will need to configure it. Since
CAs are generally also relying parties (if only so that they can check the
results of their own actions), you will generally want to start by configuring
-[the relying party tools](05.RPKI.RP.md), then configure [the CA tools](11.RPKI.CA.md)
+[the relying party tools][RP], then configure [the CA tools][CA]
if you're planning to use them.
+
+[Debian]: 02.RPKI.Installation.DebianPackages.md
+[FreeBSD]: 03.RPKI.Installation.FreeBSDPorts.md
+[Source]: 04.RPKI.Installation.FromSource.md
+[RP]: 05.RPKI.RP.md
+[CA]: 11.RPKI.CA.md