From: Andre <maan@p133.(none)>
Date: Fri, 10 Mar 2006 21:00:57 +0000 (+0100)
Subject: dbtool -> selector update for web documentation web page
X-Git-Tag: v0.2.11~11
X-Git-Url: http://git.tue.mpg.de/?a=commitdiff_plain;h=0ab9a5b60510806e3c81df8c9b1ce29226ad94ff;p=paraslash.git

dbtool -> selector update for web documentation web page
---

diff --git a/web/documentation.in.html b/web/documentation.in.html
index deaa45f6..273f2fe4 100644
--- 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