From 1f75ecd9bc47c12a3c1596497dfaa621a2d16103 Mon Sep 17 00:00:00 2001
From: Rob Austein <sra@hactrn.net>
Date: Mon, 8 Aug 2016 17:30:58 -0400
Subject: Move old manual to doc/manual, to make it easier to find other
 documentation.

---
 doc/manual/21.RPKI.CA.Configuration.autoconf.wiki | 43 +++++++++++++++++++++++
 1 file changed, 43 insertions(+)
 create mode 100644 doc/manual/21.RPKI.CA.Configuration.autoconf.wiki

(limited to 'doc/manual/21.RPKI.CA.Configuration.autoconf.wiki')

diff --git a/doc/manual/21.RPKI.CA.Configuration.autoconf.wiki b/doc/manual/21.RPKI.CA.Configuration.autoconf.wiki
new file mode 100644
index 00000000..6a07de8c
--- /dev/null
+++ b/doc/manual/21.RPKI.CA.Configuration.autoconf.wiki
@@ -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.
-- 
cgit v1.2.3