diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/doc.RPKI.Utils | 2 | ||||
| -rw-r--r-- | doc/manual.pdf | bin | 478938 -> 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 Binary files differindex 2427ec38..f99854cc 100644 --- a/doc/manual.pdf +++ b/doc/manual.pdf |