Move old manual to doc/manual, to make it easier to find other documentation.

1 files changed, 29 insertions, 0 deletions

diff --git a/doc/manual/21.RPKI.CA.Configuration.autoconf.md b/doc/manual/21.RPKI.CA.Configuration.autoconf.md
new file mode 100644
index 00000000..0d803786
--- /dev/null
+++ b/doc/manual/21.RPKI.CA.Configuration.autoconf.md
@@ -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.