summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIgor Ryzhov <iryzhov@nfware.com>2023-05-19 19:35:19 +0300
committerIgor Ryzhov <iryzhov@nfware.com>2023-05-19 19:35:19 +0300
commit74497c34aab44cb33c565efbdbdd5b2318c97fca (patch)
tree111f9ed76cb8af3e66957241267b1d716b557bf8
parent32b20e1ad65e8db2ef80dd39b255f34de2802cd2 (diff)
doc: remove non-existent configure option
Signed-off-by: Igor Ryzhov <iryzhov@nfware.com>
-rw-r--r--doc/developer/include-compile.rst1
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/developer/include-compile.rst b/doc/developer/include-compile.rst
index 513cac6179..b98d237e68 100644
--- a/doc/developer/include-compile.rst
+++ b/doc/developer/include-compile.rst
@@ -17,7 +17,6 @@ obtained by running ``./configure -h``. The options shown below are examples.
--localstatedir=/var/run/frr \
--sysconfdir=/etc/frr \
--with-moduledir=\${prefix}/lib/frr/modules \
- --with-libyang-pluginsdir=\${prefix}/lib/frr/libyang_plugins \
--enable-configfile-mask=0640 \
--enable-logfile-mask=0640 \
--enable-snmp=agentx \