1 files changed, 6 insertions, 32 deletions
diff --git a/doc/03.RPKI.Installation.FreeBSDPorts.md b/doc/03.RPKI.Installation.FreeBSDPorts.md
index 278edb25..d4690425 100644
--- a/doc/03.RPKI.Installation.FreeBSDPorts.md
+++ b/doc/03.RPKI.Installation.FreeBSDPorts.md
@@ -21,8 +21,8 @@ like this:
 
 After performing initial installation, you should customize the default
 `rpki.conf` for your environment as necessary. In particular, you want to
-change `handle` and `rpkid_server_host`. There are obsessively detailed
-instructions.
+change `handle` and `rpkid_server_host`. There are [obsessively detailed
+instructions][Configuration].
 
     emacs /usr/local/etc/rpki.conf
 
@@ -52,9 +52,8 @@ defaults where we can, but if you've done a lot of customization to your
 
 ## Automated Download and Install with portmaster
 
-There's a [script](https://download.rpki.net/FreeBSD_Packages/rpki-
-portmaster.sh) you can use to automate the download steps above and perform
-the updates using portmaster. First, download the script:
+There's a [script][portmaster] you can use to automate the download steps above and
+perform the updates using portmaster. First, download the script:
 
     fetch https://download.rpki.net/FreeBSD_Packages/rpki-portmaster.sh
 
@@ -65,30 +64,5 @@ Then, to install or upgrade, just execute the script:
 As with manual download (above) you should customize `rpki.conf` after initial
 installation.
 
-## Automated Download and Install with portupgrade
-
-There's a [script](https://download.rpki.net/FreeBSD_Packages/rpki-
-portupgrade.sh) you can use to automate the download steps above and perform
-the updates using portupgrade. First, download the script:
-
-    fetch https://download.rpki.net/FreeBSD_Packages/rpki-portupgrade.sh
-
-Next, you will need to add information about the RPKI ports to two variables
-in `/usr/local/etc/pkgtools.conf` before portupgrade will know how to deal
-with these ports:
-
-    EXTRA_CATEGORIES = [
-        'rpki',
-    ]
-
-    ALT_INDEX = [
-        ENV['PORTSDIR'] + '/INDEX.rpki',
-    ]
-
-Once you have completed these steps, you can just execute the script to
-install or upgrade the RPKI code:
-
-    sh rpki-portupgrade.sh
-
-As with manual download (above) you should customize `rpki.conf` after initial
-installation.
+[Configuration]: 12.RPKI.CA.Configuration.md
+[portmaster]:    https://download.rpki.net/FreeBSD_Packages/rpki-portmaster.sh