[340-make-perfdhcp-build-optional] Updated doc

doc/guide/hooks-radius.xml

@@ -1,5 +1,5 @@
 <!--
- - Copyright (C) 2018 Internet Systems Consortium, Inc. ("ISC")
+ - Copyright (C) 2018-2019 Internet Systems Consortium, Inc. ("ISC")
  -
  - This Source Code Form is subject to the terms of the Mozilla Public
  - License, v. 2.0. If a copy of the MPL was not distributed with this
@@ -297,6 +297,7 @@ Developer:
   Generate Documentation: no
   Parser Generation:      no
   Kea-shell:              no
+  Perfdhcp:               no
 </screen>
 </para>
 

doc/guide/install.xml

@@ -1,5 +1,5 @@
 <!--
- - Copyright (C) 2014-2018 Internet Systems Consortium, Inc. ("ISC")
+ - Copyright (C) 2014-2019 Internet Systems Consortium, Inc. ("ISC")
  -
  - This Source Code Form is subject to the terms of the Mozilla Public
  - License, v. 2.0. If a copy of the MPL was not distributed with this
@@ -393,6 +393,25 @@ Debian and Ubuntu:
             </listitem>
           </varlistentry>
 
+          <varlistentry>
+            <term>--enable-shell</term>
+            <listitem>
+              <simpara>Build the optional <command>kea-shell</command> tool
+              (more in <xref linkend="kea-shell"/>). The default is to not
+              build it.
+              </simpara>
+            </listitem>
+          </varlistentry>
+
+          <varlistentry>
+            <term>--enable-perfdhcp</term>
+            <listitem>
+              <simpara>Build the optional <command>perfdhcp</command> DHCP
+              benchmarking tool. The default is to not build it.
+              </simpara>
+            </listitem>
+          </varlistentry>
+
           </variablelist>
           <note>
             <para>