dbtool -> selector update for web documentation web page

diff --git a/web/documentation.in.html b/web/documentation.in.html
index deaa45f633009f7eb3ffe3358952da34783d6d01..273f2fe444b3f6e233a45f0c56fc62057e73213f 100644 (file)
--- a/web/documentation.in.html
+++ b/web/documentation.in.html
@@ -9,7 +9,7 @@ for general information (including a list of required software),
        <a href="INSTALL.html">INSTALL</a>
 for installation notes, and
        <a href="README.mysql.html">README.mysql</a>
-for instructions on how to use the mysql database tool
+for instructions on how to use the mysql audio file selector
 shipped with paraslash.</p>
 <p>
 The various commands of para_server and para_audiod are explained in