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

1 files changed, 0 insertions, 73 deletions

diff --git a/doc/20.RPKI.CA.Configuration.web_portal.wiki b/doc/20.RPKI.CA.Configuration.web_portal.wiki
deleted file mode 100644
index 9df6487f..00000000
--- a/doc/20.RPKI.CA.Configuration.web_portal.wiki
+++ /dev/null
@@ -1,73 +0,0 @@
-{{{
-#!comment
-
-******************************************************************************
-THIS PAGE WAS GENERATED AUTOMATICALLY, DO NOT EDIT.
-
-Generated from $Id: rpki-confgen.xml 6070 2015-03-23 18:04:06Z melkins $
-            by $Id: rpki-confgen 5856 2014-05-31 18:32:19Z sra $
-******************************************************************************
-
-}}}
-[[TracNav(doc/RPKI/TOC)]]
-[[PageOutline]]
-
-= [web_portal] section = #web_portal
-
-Glue to allow the Django application to pull user configuration from
-this file rather than directly editing settings.py.
-
-== sql-database == #sql-database
-
-SQL database name the web portal should use.
-
-{{{
-#!ini
-sql-database = ${myrpki::irdbd_sql_database}
-}}}
-
-== sql-username == #sql-username
-
-SQL user name the web portal should use.
-
-{{{
-#!ini
-sql-username = ${myrpki::irdbd_sql_username}
-}}}
-
-== sql-password == #sql-password
-
-SQL password the web portal should use.
-
-{{{
-#!ini
-sql-password = ${myrpki::irdbd_sql_password}
-}}}
-
-== secret-key == #secret-key
-
-Site-specific secret key for Django.
-
-No default value.
-
-== allowed-hosts == #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 == #download-directory
-
-A directory large enough to hold the RouteViews.org routing table dump
-fetched by the rpkigui-import-routes script.
-
-{{{
-#!ini
-download-directory = /var/tmp
-}}}