diff DOCS/en/documentation.html @ 9977:16cacec38fc7

bad GUI usage instructions fixed

--- a/DOCS/en/documentation.html	Thu Apr 24 17:17:57 2003 +0000
+++ b/DOCS/en/documentation.html	Thu Apr 24 18:35:21 2003 +0000
@@ -835,11 +835,8 @@
   are stored in PNG format, so gtk, libpng (and their devel stuff, usually
   called gtk-dev and libpng-dev) has to be installed. 
   You can build it by specifying <CODE>--enable-gui</CODE> during
-  <CODE>./configure</CODE>. Then, to turn on GUI mode, you either</P>
-  <UL>
-    <LI>specify <CODE>gui=yes</CODE> in your config file</LI>
-    <LI><CODE>ln -s $PREFIX/bin/mplayer $PREFIX/bin/gmplayer</CODE> ,
-      and call <CODE>gmplayer</CODE> instead.</LI>
+  <CODE>./configure</CODE>. Then, to turn on GUI mode, you have to</P>
+  execute the <CODE>gmplayer</CODE> binary.</LI>
   </UL>
 
 <P>Currently you can't use the <CODE>-gui</CODE> option on the command line,