1 files changed, 43 insertions, 0 deletions
diff --git a/doc/wiki-dump/doc%2FRPKI%2FCA%2FConfiguration%2Fautoconf b/doc/wiki-dump/doc%2FRPKI%2FCA%2FConfiguration%2Fautoconf
new file mode 100644
index 00000000..6a07de8c
--- /dev/null
+++ b/doc/wiki-dump/doc%2FRPKI%2FCA%2FConfiguration%2Fautoconf
@@ -0,0 +1,43 @@
+{{{
+#!comment
+
+******************************************************************************
+THIS PAGE WAS GENERATED AUTOMATICALLY, DO NOT EDIT.
+
+Generated from $Id: rpki-confgen.xml 6070 2015-03-23 18:04:06Z melkins $
+            by $Id: rpki-confgen 5856 2014-05-31 18:32:19Z sra $
+******************************************************************************
+
+}}}
+[[TracNav(doc/RPKI/TOC)]]
+[[PageOutline]]
+
+= [autoconf] section = #autoconf
+
+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 == #bindir
+
+Usually /usr/bin or /usr/local/bin.
+
+No default value.
+
+== datarootdir == #datarootdir
+
+Usually /usr/share or /usr/local/share.
+
+No default value.
+
+== sbindir == #sbindir
+
+Usually /usr/sbin or /usr/local/sbin.
+
+No default value.
+
+== sysconfdir == #sysconfdir
+
+Usually /etc or /usr/local/etc.
+
+No default value.