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

1 files changed, 47 insertions, 0 deletions

diff --git a/doc/manual/01.RPKI.Installation.md b/doc/manual/01.RPKI.Installation.md
new file mode 100644
index 00000000..c530ee7e
--- /dev/null
+++ b/doc/manual/01.RPKI.Installation.md
@@ -0,0 +1,47 @@
+# 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