aboutsummaryrefslogtreecommitdiff
path: root/ca/rpki-confgen.xml
diff options
context:
space:
mode:
Diffstat (limited to 'ca/rpki-confgen.xml')
-rw-r--r--ca/rpki-confgen.xml9
1 files changed, 9 insertions, 0 deletions
diff --git a/ca/rpki-confgen.xml b/ca/rpki-confgen.xml
index e0ed273a..5468db50 100644
--- a/ca/rpki-confgen.xml
+++ b/ca/rpki-confgen.xml
@@ -618,6 +618,15 @@
</doc>
</option>
+ <option name = "pubd-crl"
+ value = "${myrpki::bpki_servers_directory}/ca.crl">
+ <doc>
+ Where pubd should look for the CRL covering its own BPKI EE
+ certificate. Don't change this unless you really know what
+ you are doing.
+ </doc>
+ </option>
+
<option name = "irbe-cert"
value = "${myrpki::bpki_servers_directory}/irbe.cer">
<doc>