aboutsummaryrefslogtreecommitdiff
path: root/doc/doc.RPKI.CA.Configuration.irdbd
diff options
context:
space:
mode:
Diffstat (limited to 'doc/doc.RPKI.CA.Configuration.irdbd')
-rw-r--r--doc/doc.RPKI.CA.Configuration.irdbd4
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/doc.RPKI.CA.Configuration.irdbd b/doc/doc.RPKI.CA.Configuration.irdbd
index 9d00d0b6..41604ca1 100644
--- a/doc/doc.RPKI.CA.Configuration.irdbd
+++ b/doc/doc.RPKI.CA.Configuration.irdbd
@@ -1,8 +1,8 @@
****** [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 section [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