aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/doc.RPKI8
-rw-r--r--doc/manual.pdfbin460205 -> 460414 bytes
2 files changed, 4 insertions, 4 deletions
diff --git a/doc/doc.RPKI b/doc/doc.RPKI
index c05706e6..359b0a9d 100644
--- a/doc/doc.RPKI
+++ b/doc/doc.RPKI
@@ -11,13 +11,13 @@ interface more convenient.
***** Download *****
-At the moment, the only way to obtain the code is via subversion. At some point
-we should start producing snapshot tarballs.
-
-To download the code, do:
+The recommended way to obtain the 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.
+
***** Installation *****
See the installation instructions for how to install the code once you've
diff --git a/doc/manual.pdf b/doc/manual.pdf
index 7b7d6a46..1352823f 100644
--- a/doc/manual.pdf
+++ b/doc/manual.pdf
Binary files differ