From 1f75ecd9bc47c12a3c1596497dfaa621a2d16103 Mon Sep 17 00:00:00 2001
From: Rob Austein <sra@hactrn.net>
Date: Mon, 8 Aug 2016 17:30:58 -0400
Subject: Move old manual to doc/manual, to make it easier to find other
 documentation.

---
 doc/03.RPKI.Installation.FreeBSDPorts.wiki | 124 -----------------------------
 1 file changed, 124 deletions(-)
 delete mode 100644 doc/03.RPKI.Installation.FreeBSDPorts.wiki

(limited to 'doc/03.RPKI.Installation.FreeBSDPorts.wiki')

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.
-- 
cgit v1.2.3