changeset 12779:55e2deb36d79

typo
author diego
date Fri, 09 Jul 2004 15:19:47 +0000
parents e8f118e80cde
children 541cf7a2a7ee
files DOCS/xml/en/install.xml configure
diffstat 2 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/DOCS/xml/en/install.xml	Fri Jul 09 09:07:36 2004 +0000
+++ b/DOCS/xml/en/install.xml	Fri Jul 09 15:19:47 2004 +0000
@@ -913,7 +913,7 @@
   tuned even finer.
   </simpara></listitem>
 <listitem><para>
-<emphasis role="bold">The new timer</emphasis> code uses PC's RTC (RealTime Clock)
+<emphasis role="bold">The new timer</emphasis> code uses the RTC (RealTime Clock)
   for this task, because it has precise 1ms timers. It is automagically enabled
   when available, but requires root privileges, a <emphasis>setuid root</emphasis>
   <application>MPlayer</application> binary or a properly set up kernel.
--- a/configure	Fri Jul 09 09:07:36 2004 +0000
+++ b/configure	Fri Jul 09 15:19:47 2004 +0000
@@ -149,7 +149,7 @@
 
 Optional features:
   --disable-mencoder     disable mencoder (a/v encoder) compilation [enable]
-  --enable-gui           enable gmplayer compilation (gtk-1.2 GUI) [disable]
+  --enable-gui           enable gmplayer compilation (GTK 1.2 GUI) [disable]
   --enable-largefiles    enable support for files > 2 GBytes [disable]
   --enable-linux-devfs   set default devices to devfs ones [disable]
   --enable-termcap       use termcap database for key codes [autodetect]
@@ -5845,7 +5845,7 @@
 
 
   # Check for GTK:
-  echocheck "gtk version"
+  echocheck "GTK version"
   if test -z "$_gtkconfig" ; then
     if ( gtk-config --version ) >/dev/null 2>&1 ; then
       _gtkconfig="gtk-config"