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

1 files changed, 0 insertions, 47 deletions

diff --git a/doc/16.RPKI.CA.Configuration.irdbd.md b/doc/16.RPKI.CA.Configuration.irdbd.md
deleted file mode 100644
index a02324e0..00000000
--- a/doc/16.RPKI.CA.Configuration.irdbd.md
+++ /dev/null
@@ -1,47 +0,0 @@
-# [irdbd] section
-
-irdbd's default configuration file is the system `rpki.conf` file. Start irdbd
-with "`-c filename`" to choose a different configuration file. All options are
-in the "`[irdbd]`" section.
-
-Since irdbd is part of the back-end system, it has direct access to the back-
-end's SQL database, and thus is able to pull its own BPKI configuration
-directly from the database, and thus needs a bit less configuration than the
-other daemons.
-
-## sql-database
-
-MySQL database name for irdbd.
-
-    sql-database = ${myrpki::irdbd_sql_database}
-
-## sql-username
-
-MySQL user name for irdbd.
-
-    sql-username = ${myrpki::irdbd_sql_username}
-
-## sql-password
-
-MySQL password for irdbd.
-
-    sql-password = ${myrpki::irdbd_sql_password}
-
-## server-host
-
-Host on which irdbd should listen for HTTP service requests.
-
-    server-host = ${myrpki::irdbd_server_host}
-
-## server-port
-
-Port on which irdbd should listen for HTTP service requests.
-
-    server-port = ${myrpki::irdbd_server_port}
-
-## startup-message
-
-String to log on startup, useful when debugging a collection of irdbd
-instances at once.
-
-No default value.