Move old manual to doc/manual, to make it easier to find other documentation.

1 files changed, 0 insertions, 68 deletions

diff --git a/doc/03.RPKI.Installation.FreeBSDPorts.md b/doc/03.RPKI.Installation.FreeBSDPorts.md
deleted file mode 100644
index d4690425..00000000
--- a/doc/03.RPKI.Installation.FreeBSDPorts.md
+++ /dev/null
@@ -1,68 +0,0 @@
-# Installation Using FreeBSD Ports
-
-Port skeletons are available for FreeBSD from download.rpki.net. To use these,
-you need to download the port skeletons then run them using your favorite
-FreeBSD port installation tool.
-
-## Manual Download
-
-To download the port skeletons manually and install from them, do something
-like this:
-
-    for port in rpki-rp rpki-ca
-    do
-      fetch https://download.rpki.net/FreeBSD_Packages/${port}-port.tgz
-      tar xf ${port}-port.tgz
-      cd ${port}
-      make install
-      cd ..
-      rm -rf ${port}
-    done
-
-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][Configuration].
-
-    emacs /usr/local/etc/rpki.conf
-
-Again, you want to change `handle` and `rpkid_server_host` at the minimum.
-
-To upgrade, you can perform almost the same steps, but the FreeBSD ports
-system, which doesn't really know about upgrades, will require you to use the
-`deinstall` and `reinstall` operations instead of plain `install`:
-
-    for port in rpki-rp rpki-ca
-    do
-      fetch https://download.rpki.net/FreeBSD_Packages/${port}-port.tgz
-      tar xf ${port}-port.tgz
-      cd ${port}
-      make deinstall
-      make reinstall
-      cd ..
-      rm -rf ${port}
-    done
-
-After an upgrade, you may want to check the newly-installed
-`/usr/local/etc/rpki.conf.sample` against your existing
-`/usr/local/etc/rpki.conf` in case any important options have changed. We
-generally try to keep options stable between versions, and provide sane
-defaults where we can, but if you've done a lot of customization to your
-`rpki.conf` you will want to keep track of this.
-
-## Automated Download and Install with portmaster
-
-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
-
-Then, to install or upgrade, just execute the script:
-
-    sh rpki-portmaster.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