aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/doc.RPKI.Installation.DebianPackages2
-rw-r--r--doc/manual.pdfbin755413 -> 755413 bytes
2 files changed, 1 insertions, 1 deletions
diff --git a/doc/doc.RPKI.Installation.DebianPackages b/doc/doc.RPKI.Installation.DebianPackages
index 44ae0945..fe5ab7d8 100644
--- a/doc/doc.RPKI.Installation.DebianPackages
+++ b/doc/doc.RPKI.Installation.DebianPackages
@@ -55,7 +55,7 @@ aptitude should also work.
***** Upgrading *****
-Once you've performced the steps above you should be able to upgrade to newer
+Once you've performed the steps above you should be able to upgrade to newer
version of the code using the normal APT upgrade process, eg:
sudo apt-get update
diff --git a/doc/manual.pdf b/doc/manual.pdf
index b0c31b41..b17dfd52 100644
--- a/doc/manual.pdf
+++ b/doc/manual.pdf
Binary files differ