aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorRPKI Documentation Robot <docbot@rpki.net>2012-11-11 02:00:09 +0000
committerRPKI Documentation Robot <docbot@rpki.net>2012-11-11 02:00:09 +0000
commitfe6d0d57ef924518e9207b4cb633ef2d2bebfed7 (patch)
tree3ce44ce67ddcdecdd9bf0826c32c33aa0aebd28e /doc
parentc9678567987879a0aafb514c5712261204f73372 (diff)
Automatic pull of documentation from Wiki.
svn path=/trunk/; revision=4842
Diffstat (limited to 'doc')
-rw-r--r--doc/doc.RPKI.Utils2
-rw-r--r--doc/manual.pdfbin478938 -> 478935 bytes
2 files changed, 1 insertions, 1 deletions
diff --git a/doc/doc.RPKI.Utils b/doc/doc.RPKI.Utils
index 106d2ee2..1c3a93e7 100644
--- a/doc/doc.RPKI.Utils
+++ b/doc/doc.RPKI.Utils
@@ -41,7 +41,7 @@ Usage:
print_rpki_manifest prettyprints the content of a manifest. It does NOT attempt
to verify the signature. Usage:
- $ print_manifest manifest [manifest...]
+ $ print_rpki_manifest manifest [manifest...]
***** print_roa *****
diff --git a/doc/manual.pdf b/doc/manual.pdf
index 2427ec38..f99854cc 100644
--- a/doc/manual.pdf
+++ b/doc/manual.pdf
Binary files differ