[5171] User's Guide section for Kea-shell written.

doc/guide/Makefile.am

@@ -8,7 +8,7 @@ dist_html_DATA = $(HTMLDOCS) kea-guide.css kea-logo-100x70.png
 DOCBOOK = kea-guide.xml intro.xml quickstart.xml install.xml admin.xml config.xml
 DOCBOOK += keactrl.xml dhcp4-srv.xml dhcp6-srv.xml lease-expiration.xml logging.xml
 DOCBOOK += ddns.xml hooks.xml libdhcp.xml lfc.xml stats.xml ctrl-channel.xml faq.xml
-DOCBOOK += classify.xml
+DOCBOOK += classify.xml shell.xml agent.xml
 
 EXTRA_DIST = $(DOCBOOK)
 

doc/guide/agent.xml

@@ -203,4 +203,10 @@ $ ./kea-ctrl-agent -c /usr/local/etc/kea/kea-ca.conf
 </screen>
     </para>
   </section>
+
+  <section id="agent-clients">
+    <title>Connecting to Control Agent</title>
+    <para>For an example of tool that can take advantage of the
+    RESTful API, see <xref linkend="kea-shell"/>.</para>
+  </section>
 </chapter>

doc/guide/kea-guide.xml

@@ -88,6 +88,8 @@
 
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="logging.xml" />
 
+  <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="shell.xml" />
+
   <xi:include xmlns:xi="http://www.w3.org/2001/XInclude" href="faq.xml" />
 
     <chapter id="acknowledgments">