1 files changed, 29 insertions, 0 deletions
diff --git a/doc/doc.RPKI.CA.Configuration.autoconf b/doc/doc.RPKI.CA.Configuration.autoconf
new file mode 100644
index 00000000..30de5780
--- /dev/null
+++ b/doc/doc.RPKI.CA.Configuration.autoconf
@@ -0,0 +1,29 @@
+****** [autoconf] section ******
+
+rpki-confgen --autoconf records the current autoconf settings here, so that
+other options can refer to them. The section name "autoconf" is magic, don't
+change it.
+
+***** bindir *****
+
+Usually /usr/bin or /usr/local/bin.
+
+No default value.
+
+***** datarootdir *****
+
+Usually /usr/share or /usr/local/share.
+
+No default value.
+
+***** sbindir *****
+
+Usually /usr/sbin or /usr/local/sbin.
+
+No default value.
+
+***** sysconfdir *****
+
+Usually /etc or /usr/local/etc.
+
+No default value.