aboutsummaryrefslogtreecommitdiff
path: root/doc/doc.RPKI.Installation
diff options
context:
space:
mode:
authorRob Austein <sra@hactrn.net>2014-10-11 19:44:12 +0000
committerRob Austein <sra@hactrn.net>2014-10-11 19:44:12 +0000
commit73abb473442dd47dcd7b8627a13429e85c26d1e5 (patch)
treeb909526ef1d0918f5e4088de6f0cafba2a3e3a0a /doc/doc.RPKI.Installation
parentbe075cd718e9780e02fc37fae2c56f3f99bcaa50 (diff)
Pull from trunk.
svn path=/branches/tk705/; revision=5998
Diffstat (limited to 'doc/doc.RPKI.Installation')
-rw-r--r--doc/doc.RPKI.Installation4
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/doc.RPKI.Installation b/doc/doc.RPKI.Installation
index 1c8047c4..67746d55 100644
--- a/doc/doc.RPKI.Installation
+++ b/doc/doc.RPKI.Installation
@@ -3,8 +3,8 @@
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 ("Precise Pangolin") or Debian 7 ("Wheezy"), you can use
- Debian binary packages.
+* On Ubuntu 12.04 LTS ("Precise Pangolin"), Ubuntu 14.04 ("Trusty Tahir"), or
+ Debian 7 ("Wheezy"), you can use Debian binary packages.
At present we only generate binary packages for Precise Pangolin and
Wheezy. This may change in the future.