aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/doc.RPKI.CA.Configuration.web_portal7
-rw-r--r--doc/manual.pdfbin344052 -> 344052 bytes
2 files changed, 7 insertions, 0 deletions
diff --git a/doc/doc.RPKI.CA.Configuration.web_portal b/doc/doc.RPKI.CA.Configuration.web_portal
index 096f5101..3c3ddb09 100644
--- a/doc/doc.RPKI.CA.Configuration.web_portal
+++ b/doc/doc.RPKI.CA.Configuration.web_portal
@@ -38,3 +38,10 @@ If you get an error like "Invalid HTTP_HOST header (you may need to set
ALLOWED_HOSTS)", you will need to set this option.
No default value.
+
+***** download-directory *****
+
+A directory large enough to hold the RouteViews?.org routing table dump fetched
+by the rpkigui-import-routes script.
+
+ download-directory = /var/tmp
diff --git a/doc/manual.pdf b/doc/manual.pdf
index aa737cde..0b480c9c 100644
--- a/doc/manual.pdf
+++ b/doc/manual.pdf
Binary files differ