aboutsummaryrefslogtreecommitdiff
path: root/doc/doc.RPKI
diff options
context:
space:
mode:
Diffstat (limited to 'doc/doc.RPKI')
-rw-r--r--doc/doc.RPKI28
1 files changed, 19 insertions, 9 deletions
diff --git a/doc/doc.RPKI b/doc/doc.RPKI
index f495d8d2..e47c6827 100644
--- a/doc/doc.RPKI
+++ b/doc/doc.RPKI
@@ -11,22 +11,32 @@ interface more convenient.
***** Download *****
+Full source code is available, as are binary packages for a few platforms.
+
+**** Ubuntu 12.04 LTS ****
+
+[[http://download.rpki.net/Ubuntu_Packages/|Binary packages for Ubuntu 12.04
+LTS]] are generated automatically when new code is checked in to the Subversion
+repository.
+
+**** FreeBSD ****
+
+FreeBSD ports are generated automatically when new code is checked in to the
+Subversion repository.
+
+**** Source code ****
+
+For all other platforms, or if you want to build yourself on one of the above
+platforms, you need to download the source code.
+
The recommended way to obtain the source code is via subversion. To download,
do:
$ svn checkout http://subvert-rpki.hactrn.net/trunk/
-Nightly snapshots are also available from http://download.rpki.net/ as xz-
+Code snapshots are also available from http://download.rpki.net/ as xz-
compressed tarballs.
-We also have binary packages for a few platforms:
-
-* Ubuntu
-* FreeBSD
-
-At the moment, binary packages are generated manually, so the source code may
-be more recent.
-
***** Installation *****
See the installation instructions for how to install the code once you've