# HG changeset patch
# User gabucino
# Date 1002364854 0
# Node ID a0ea8a01b0f389dbcb4186d99ef8ca515e6af054
# Parent  3e55202cfdabbbcb98d6df21b36c90d44ee555b4
kaoszmegszuntetes

diff -r 3e55202cfdab -r a0ea8a01b0f3 DOCS/documentation.html
--- a/DOCS/documentation.html	Sat Oct 06 01:23:39 2001 +0000
+++ b/DOCS/documentation.html	Sat Oct 06 10:40:54 2001 +0000
@@ -269,7 +269,7 @@
 <P><B><A NAME=1.4>1.4. What about the GUI?</A></B></P>
 
 <P>The GUI is built upon GTK, so gtk (and it's devel stuff) has to be installed.
-You can build it by specifying <CODE>--enable-new-gui</CODE> during ./configure .
+You can build it by specifying <CODE>--enable-gui</CODE> during ./configure .
 Then, to turn on GUI mode, you either
 <UL>
   <LI>use the <CODE>-gui</CODE> option</LI>