Automatic pull of documentation from Wiki.

svn path=/trunk/; revision=5813

2 files changed, 0 insertions, 47 deletions

diff --git a/doc/doc.RPKI.CA.Configuration.irdbd b/doc/doc.RPKI.CA.Configuration.irdbd
index 41604ca1..e69de29b 100644
--- a/doc/doc.RPKI.CA.Configuration.irdbd
+++ b/doc/doc.RPKI.CA.Configuration.irdbd
@@ -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.
diff --git a/doc/manual.pdf b/doc/manual.pdf
index 54ca5ea7..2dbe7915 100644
--- a/doc/manual.pdf
+++ b/doc/manual.pdf