diff options
| -rw-r--r-- | doc/doc.RPKI.Installation | 8 | ||||
| -rw-r--r-- | doc/manual.pdf | bin | 460758 -> 460863 bytes |
2 files changed, 8 insertions, 0 deletions
diff --git a/doc/doc.RPKI.Installation b/doc/doc.RPKI.Installation index 8e75f923..a7386b77 100644 --- a/doc/doc.RPKI.Installation +++ b/doc/doc.RPKI.Installation @@ -132,6 +132,14 @@ libraries or the private OpenSSL libraries, as appopriate. In theory, ./configure will complain about any required packages which might be missing. +If you don't intend to run any of the CA tools, you can simplify the build and +installation process by telling ./configure that you only want to build the +relying party tools: + + $ cd $top + $ ./configure --disable-ca-tools + $ make + ***** Testing the build ***** Assuming the build stage completed without obvious errors, the next step is to diff --git a/doc/manual.pdf b/doc/manual.pdf Binary files differindex b68e02e9..ac8b147d 100644 --- a/doc/manual.pdf +++ b/doc/manual.pdf |