aboutsummaryrefslogtreecommitdiff
path: root/doc/doc.RPKI.Installation
diff options
context:
space:
mode:
authorRPKI Documentation Robot <docbot@rpki.net>2013-09-28 16:00:15 +0000
committerRPKI Documentation Robot <docbot@rpki.net>2013-09-28 16:00:15 +0000
commita3341e3dc8b8ed00b6a7ba37f9a1e0bab443a0cd (patch)
tree09b4cf991404497c5c914bda03c039f801768e15 /doc/doc.RPKI.Installation
parent028008d51cf97e2535067dca7a2bab401796fd2b (diff)
Automatic pull of documentation from Wiki.
svn path=/trunk/; revision=5528
Diffstat (limited to 'doc/doc.RPKI.Installation')
-rw-r--r--doc/doc.RPKI.Installation7
1 files changed, 4 insertions, 3 deletions
diff --git a/doc/doc.RPKI.Installation b/doc/doc.RPKI.Installation
index d7ceae33..1c8047c4 100644
--- a/doc/doc.RPKI.Installation
+++ b/doc/doc.RPKI.Installation
@@ -3,10 +3,11 @@
There are a few different ways to install the RPKI code, depending on what the
platform on which you're trying to install.
-* On Ubuntu 12.04 LTS, you can use Ubuntu binary packages.
+* On Ubuntu 12.04 LTS ("Precise Pangolin") or Debian 7 ("Wheezy"), you can use
+ Debian binary packages.
- At present we only generate binary packages for 12.04 LTS
- ("precise"). This may change in the future.
+ At present we only generate binary packages for Precise Pangolin and
+ Wheezy. This may change in the future.
* On FreeBSD, you can use FreeBSD ports.