aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRPKI Documentation Robot <docbot@rpki.net>2013-10-10 21:00:22 +0000
committerRPKI Documentation Robot <docbot@rpki.net>2013-10-10 21:00:22 +0000
commit777f1e13f04178d99b593f4c2e14aff750af78b0 (patch)
tree4f2c47b7240afa8e641531d6e8bc0d7c009d6dad
parent434318354f59060b5df90bc59be7605d357ea4be (diff)
Automatic pull of documentation from Wiki.
svn path=/trunk/; revision=5562
-rw-r--r--doc/doc.RPKI.RP2
-rw-r--r--doc/manual.pdfbin755609 -> 755610 bytes
2 files changed, 1 insertions, 1 deletions
diff --git a/doc/doc.RPKI.RP b/doc/doc.RPKI.RP
index e42b9185..1f6774ee 100644
--- a/doc/doc.RPKI.RP
+++ b/doc/doc.RPKI.RP
@@ -1,6 +1,6 @@
****** RPKI Relying Party Tools ******
-these tools implements the "relying party" role of the RPKI system, that is,
+These tools implements the "relying party" role of the RPKI system, that is,
the entity which retrieves RPKI objects from repositories, validates them, and
uses the result of that validation process as input to other processes, such as
BGP security.
diff --git a/doc/manual.pdf b/doc/manual.pdf
index 18195703..b7d2febe 100644
--- a/doc/manual.pdf
+++ b/doc/manual.pdf
Binary files differ