aboutsummaryrefslogtreecommitdiff
path: root/doc/doc.RPKI.CA.Configuration.pubd
diff options
context:
space:
mode:
Diffstat (limited to 'doc/doc.RPKI.CA.Configuration.pubd')
-rw-r--r--doc/doc.RPKI.CA.Configuration.pubd4
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/doc.RPKI.CA.Configuration.pubd b/doc/doc.RPKI.CA.Configuration.pubd
index 312e74c0..6dc7cb28 100644
--- a/doc/doc.RPKI.CA.Configuration.pubd
+++ b/doc/doc.RPKI.CA.Configuration.pubd
@@ -1,8 +1,8 @@
****** [pubd] section ******
pubd's default configuration file is the system rpki.conf file. Start pubd with
--c filename to choose a different configuration file. All options are in the
-section [pubd]. BPKI certificates and keys may be either DER or PEM format.
+"-c filename" to choose a different configuration file. All options are in the
+"[pubd]" section. BPKI certificates and keys may be either DER or PEM format.
***** sql-database *****