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

1 files changed, 0 insertions, 124 deletions

diff --git a/doc/03.RPKI.Installation.FreeBSDPorts.wiki b/doc/03.RPKI.Installation.FreeBSDPorts.wiki
deleted file mode 100644
index bff99b78..00000000
--- a/doc/03.RPKI.Installation.FreeBSDPorts.wiki
+++ /dev/null
@@ -1,124 +0,0 @@
-[[TracNav(doc/RPKI/TOC)]]

-[[PageOutline]]

-

-= 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:

-

-{{{

-#!sh

-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

-[[CA/Configuration|obsessively detailed instructions]].

-

-{{{

-#!sh

-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`:

-

-{{{

-#!sh

-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

-[[https://download.rpki.net/FreeBSD_Packages/rpki-portmaster.sh|script]]

-you can use to automate the download steps above and perform the

-updates using portmaster.  First, download the script:

-

-{{{

-#!sh

-fetch https://download.rpki.net/FreeBSD_Packages/rpki-portmaster.sh

-}}}

-

-Then, to install or upgrade, just execute the script:

-

-{{{

-#!sh

-sh rpki-portmaster.sh

-}}}

-

-As with manual download (above) you should customize `rpki.conf` after

-initial installation.

-

-== Automated Download and Install with portupgrade ==

-

-There's a

-[[https://download.rpki.net/FreeBSD_Packages/rpki-portupgrade.sh|script]]

-you can use to automate the download steps above and perform the

-updates using portupgrade.  First, download the script:

-

-{{{

-#!sh

-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:

-

-{{{

-#!ruby

-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

-sh rpki-portupgrade.sh

-}}}

-

-As with manual download (above) you should customize `rpki.conf` after

-initial installation.