aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRPKI Documentation Robot <docbot@rpki.net>2012-06-11 17:00:16 +0000
committerRPKI Documentation Robot <docbot@rpki.net>2012-06-11 17:00:16 +0000
commit9faf3c9cb1104f6c06e6d3358716272206ebc9bc (patch)
tree525a5f23e3b75968a8bf8d46b638c74615082910
parent7e803bfec94815d31457f4460c4ee4198ffa2b9c (diff)
Automatic pull of documentation from Wiki.
svn path=/trunk/; revision=4533
-rw-r--r--doc/doc.RPKI.Installation8
-rw-r--r--doc/manual.pdfbin460758 -> 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
index b68e02e9..ac8b147d 100644
--- a/doc/manual.pdf
+++ b/doc/manual.pdf
Binary files differ