aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/doc.RPKI31
-rw-r--r--doc/manual.pdfbin736276 -> 733443 bytes
2 files changed, 3 insertions, 28 deletions
diff --git a/doc/doc.RPKI b/doc/doc.RPKI
index 4c34f158..fd1a3bbe 100644
--- a/doc/doc.RPKI
+++ b/doc/doc.RPKI
@@ -9,37 +9,12 @@ anonymous access at http://subvert-rpki.hactrn.net/.
If you just want to browse the code you might find the Trac source code browser
interface more convenient.
-***** Download *****
+***** Download and Install *****
Full source code is available, as are binary packages for a few platforms.
-**** Ubuntu 12.04 LTS ****
-
-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/
-
-Code snapshots 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
-downloaded it.
+See the installation instructions for how to download the code and install it
+once you've downloaded it.
***** Relying Party Tools *****
diff --git a/doc/manual.pdf b/doc/manual.pdf
index f6aeea56..d3d53946 100644
--- a/doc/manual.pdf
+++ b/doc/manual.pdf
Binary files differ