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/02.RPKI.Installation.DebianPackages.wiki | 90 ----------------------------
 1 file changed, 90 deletions(-)
 delete mode 100644 doc/02.RPKI.Installation.DebianPackages.wiki

(limited to 'doc/02.RPKI.Installation.DebianPackages.wiki')

diff --git a/doc/02.RPKI.Installation.DebianPackages.wiki b/doc/02.RPKI.Installation.DebianPackages.wiki
deleted file mode 100644
index fdf5b1d3..00000000
--- a/doc/02.RPKI.Installation.DebianPackages.wiki
+++ /dev/null
@@ -1,90 +0,0 @@
-[[TracNav(doc/RPKI/TOC)]]
-[[PageOutline]]
-
-= Installation Using Debian Packages on Debian and Ubuntu Systems =
-
-Precompiled binary packages for Ubuntu 12.04 LTS ("Precise Pangolin") and
-Debian 7 ("Wheezy") are available from download.rpki.net using the Debian
-Advanced Package Tools (APT).  To use these, you need to configure APT on your
-machine to know about our APT repository, but once you've done this you should
-be able to install and update these packages like any other precompiled package.
-
-== Initial APT Setup ==
-
-You should only need to perform these steps once for any particular
-machine.
-
-* Add the GPG public key for this repository (optional, but APT will whine unless you do this):
-{{{
-#!sh
-wget -q -O - https://download.rpki.net/APT/apt-gpg-key.asc | sudo apt-key add -
-}}}
-
-* Configure APT to use this repository (for Ubuntu Trusty systems):
-{{{
-#!sh
-sudo wget -q -O /etc/apt/sources.list.d/rpki.list https://download.rpki.net/APT/rpki.trusty.list
-}}}
-
-* Configure APT to use this repository (for Ubuntu Precise systems):
-{{{
-#!sh
-sudo wget -q -O /etc/apt/sources.list.d/rpki.list https://download.rpki.net/APT/rpki.precise.list
-}}}
-
-* Configure APT to use this repository (for Debian Wheezy systems):
-{{{
-#!sh
-sudo wget -q -O /etc/apt/sources.list.d/rpki.list https://download.rpki.net/APT/rpki.wheezy.list
-}}}
-
-== Installation Using APT Tools ==
-
-These instructions assume that you're using apt-get.  Other APT tools
-such as aptitude should also work.
-
-* Update available packages:
-{{{
-#!sh
-sudo apt-get update
-}}}
-
-* Install the software:
-{{{
-#!sh
-sudo apt-get install rpki-rp rpki-ca
-}}}
-
-* 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
-sudo emacs /etc/rpki.conf
-}}}
-
-  Again, you want to change `handle` and `rpkid_server_host` at the minimum.
-
-* If you changed anything in `rpki.conf`, you should restart the RPKI CA service:
-{{{
-#!sh
-sudo service rpki-ca restart
-}}}
-
-== Upgrading ==
-
-Once you've performed the steps above you should be able to upgrade
-to newer version of the code using the normal APT upgrade process, eg:
-
-{{{
-#!sh
-sudo apt-get update
-sudo apt-get upgrade
-}}}
-
-Or, if you only want to update the RPKI tools:
-
-{{{
-#!sh
-sudo apt-get update
-sudo apt-get upgrade rpki-ca rpki-rp
-}}}
-- 
cgit v1.2.3