Move old manual to doc/manual, to make it easier to find other documentation.

1 files changed, 47 insertions, 0 deletions

diff --git a/doc/manual/20.RPKI.CA.Configuration.web_portal.md b/doc/manual/20.RPKI.CA.Configuration.web_portal.md
new file mode 100644
index 00000000..d04bd65e
--- /dev/null
+++ b/doc/manual/20.RPKI.CA.Configuration.web_portal.md
@@ -0,0 +1,47 @@
+# [web_portal] section
+
+Glue to allow the Django application to pull user configuration from this file
+rather than directly editing settings.py.
+
+## sql-database
+
+SQL database name the web portal should use.
+
+    sql-database = ${myrpki::irdbd_sql_database}
+
+## sql-username
+
+SQL user name the web portal should use.
+
+    sql-username = ${myrpki::irdbd_sql_username}
+
+## sql-password
+
+SQL password the web portal should use.
+
+    sql-password = ${myrpki::irdbd_sql_password}
+
+## secret-key
+
+Site-specific secret key for Django.
+
+No default value.
+
+## allowed-hosts
+
+Name of virtual host that runs the Django GUI, if this is not the same as the
+system hostname. Django's security code wants to know the name of the virtual
+host on which Django is running, and will fail when it thinks it's running on
+a disallowed host.
+
+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