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

1 files changed, 0 insertions, 47 deletions

diff --git a/doc/01.RPKI.Installation.md b/doc/01.RPKI.Installation.md
deleted file mode 100644
index c530ee7e..00000000
--- a/doc/01.RPKI.Installation.md
+++ /dev/null
@@ -1,47 +0,0 @@
-# Download and Installation
-
-There are a few different ways to install the RPKI code, depending on what the
-platform on which you're trying to install.
-
-## Debian and Ubuntu
-
-On Ubuntu 16.04 LTS ("Xenial") or Debian 8 ("Jessie"), you can use
-[Debian binary packages][Debian].
-
-## Simple RPKI Cache Install
-
-If you want to install a simple RPKI cache to feed routers from a Ubuntu 14.04
-system, here is a one page ten minute recipe.
-
-## Install a CA and a cache on a Ubuntu 14.04 with a rootd CA
-
-If you want to install a CA and a cache on a Ubuntu 14.04 with a rootd CA,
-here is a one page hack. It will take less than an hour.
-
-## Try the rrdp testbed CA and RP on Ubuntu Xenial
-
-If you are feeling adventurous and want to try the rrdp testbed CA and RP on
-Ubuntu Xenial 16.04 here is a one page hack. It supports a much simpler root
-CA.
-
-## FreeBSD
-
-On FreeBSD, you can use [FreeBSD ports][FreeBSD].
-
-## Other Platforms
-
-On all other platforms, or on the above platforms if the pre-packaged versions
-don't suit your needs, you will have to
-[install from source code][Source].
-
-Once you've finished installing the code, you will need to configure it. Since
-CAs are generally also relying parties (if only so that they can check the
-results of their own actions), you will generally want to start by configuring
-[the relying party tools][RP], then configure [the CA tools][CA]
-if you're planning to use them.
-
-[Debian]: 	   02.RPKI.Installation.DebianPackages.md
-[FreeBSD]:	   03.RPKI.Installation.FreeBSDPorts.md
-[Source]:	   04.RPKI.Installation.FromSource.md
-[RP]:		   05.RPKI.RP.md
-[CA]:		   11.RPKI.CA.md