aboutsummaryrefslogtreecommitdiff
path: root/doc/doc.RPKI
diff options
context:
space:
mode:
Diffstat (limited to 'doc/doc.RPKI')
-rw-r--r--doc/doc.RPKI15
1 files changed, 12 insertions, 3 deletions
diff --git a/doc/doc.RPKI b/doc/doc.RPKI
index 359b0a9d..f495d8d2 100644
--- a/doc/doc.RPKI
+++ b/doc/doc.RPKI
@@ -11,12 +11,21 @@ interface more convenient.
***** Download *****
-The recommended way to obtain the code is via subversion. To download, do:
+The recommended way to obtain the source code is via subversion. To download,
+do:
$ svn checkout http://subvert-rpki.hactrn.net/trunk/
-Nightly snapshots of trunk are also available from http://download.rpki.net/ as
-xz-compressed tarballs.
+Nightly 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 *****