From 1f75ecd9bc47c12a3c1596497dfaa621a2d16103 Mon Sep 17 00:00:00 2001 From: Rob Austein 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.md | 29 +++++++++++++++++++++++++ 1 file changed, 29 insertions(+) create mode 100644 doc/manual/21.RPKI.CA.Configuration.autoconf.md (limited to 'doc/manual/21.RPKI.CA.Configuration.autoconf.md') 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. -- cgit v1.2.3