Add MySQL CNID backend to the manual

diff --git a/doc/manual/configuration.xml b/doc/manual/configuration.xml
index f82de7359707de0e15d78578f3f3c33c77c046ea..535dd5f8b6b15c121a58c7ec6ccd61f5123e7bde 100644 (file)
--- a/doc/manual/configuration.xml
+++ b/doc/manual/configuration.xml
@@ -286,6 +286,16 @@ basedir regex = /usr/home</programlisting></para>
         only mode</emphasis> automatically. This is useful e.g. for
         CD-ROMs.</para>
       </sect3>
+
+      <sect3>
+        <title>mysql<indexterm>
+            <primary>MySQL</primary>
+
+            <secondary>"mysql" CNID backend</secondary>
+          </indexterm></title>
+
+        <para>CNID backend using a MySQL server.</para>
+      </sect3>
     </sect2>
 
     <sect2 id="charsets">