X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=INSTALL;h=9d82c9bf239bc130ce3eb1b1b7782558a1e5fa97;hp=3b3731814de256e127a98e09e4053590e5376090;hb=c141cc6915a32fb92766dc27f0df222d13f27d8b;hpb=2ed89c59f0efcd0a2763f47c7d3455663241e623

diff --git a/INSTALL b/INSTALL
index 3b373181..9d82c9bf 100644
--- a/INSTALL
+++ b/INSTALL
@@ -78,24 +78,19 @@ to retrieve the list of available commands and some server info.
 
 Choose your database tool (dbtool)
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-You have three options:
+You have two options:
 
 	1. Use the mysql dbtool which comes with paraslash and requires
-	mysql. This is recommended.
+	mysql.
 
-	2. Use your own database tool. If you have that already,
-	skip this step.
-
-	3. If you can not use the mysql dbtool and you just want
-	to quickly make paraslash working, use the dopey dbtool.
+	2. If you can not use the mysql dbtool and you just want
+	to quickly make paraslash working, use the random dbtool.
 	The directory which is searched for audio files can be given
-	via the server option --dopey_dir.
-
-	Note, however, that dopey is _really_ dopey. It scans
-	$dopey_dir on every audio file change and chooses one
-	randomly. You get the idea. Have a look at its source code
-	and feel free to modify.
+	via the server option --random_dbtool_dir.
 
+	Note, however, that this database tool is really dopey. It
+	scans the given directory on every audio file change and
+	chooses one randomly. There is no further functionality.
 
 The current database tool can be changed at runtime via