1 files changed, 0 insertions, 29 deletions
diff --git a/doc/doc.RPKI.CA.Configuration.autoconf b/doc/doc.RPKI.CA.Configuration.autoconf
deleted file mode 100644
index 30de5780..00000000
--- a/doc/doc.RPKI.CA.Configuration.autoconf
+++ /dev/null
@@ -1,29 +0,0 @@
-****** [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.