aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--rpkid/rpki-confgen.xml2
1 files changed, 1 insertions, 1 deletions
diff --git a/rpkid/rpki-confgen.xml b/rpkid/rpki-confgen.xml
index 4e898783..9f99bb16 100644
--- a/rpkid/rpki-confgen.xml
+++ b/rpkid/rpki-confgen.xml
@@ -380,7 +380,7 @@
<section name = "rpkid">
<doc>
- rpkid's default config file is the system `rpkid.conf` file.
+ rpkid's default config file is the system `rpki.conf` file.
Start rpkid with `-c filename` to choose a different config
file. All options are in the section `[rpkid]`. BPKI
Certificates and keys may be in either DER or PEM format.