# HG changeset patch
# User alex
# Date 1054318678 0
# Node ID e2c83c931fa6f24db5e19d13c6d271bd72af3f85
# Parent  5e15ff3261fffc247c8708a14ff278421564227a
simplification and clarification

diff -r 5e15ff3261ff -r e2c83c931fa6 configure
--- a/configure	Fri May 30 18:15:59 2003 +0000
+++ b/configure	Fri May 30 18:17:58 2003 +0000
@@ -5950,27 +5950,15 @@
 if x86; then
   if test "$_win32" = no ; then
     if test "$_win32libdir" ; then
-      cat <<EOF
-Failed to find a Win32 codecs dir at $_win32libdir!
-Create it and copy the DLL files there! (You can get them from your Windows
-directory or download them from:
-  ftp://ftp.MPlayerHQ.hu/MPlayer/releases/w32codec.tar.bz2
+      echo "Failed to find a Win32 codecs dir at $_win32libdir!"
+    else
+      echo "Failed to find a Win32 codecs directory! (default: /usr/local/lib/codecs/)"
+    fi
+    cat << EOF
+Create it and copy the DLL files there! You can download the codecs from our
+homepage at http://www.mplayerhq.hu/MPlayer/releases/codecs/
 
 EOF
-    fi
-  else
-    if test "$_win32libdir" ; then
-#      echo "Ok, found Win32 codecs directory at $_win32libdir."
-      :
-    else
-      cat <<EOF
-Failed to find a Win32 codecs directory!
-Create it and copy the DLL files there! (You can get them from your Windows
-directory or download them from:
-  ftp://ftp.MPlayerHQ.hu/MPlayer/releases/w32codec.tar.bz2
-
-EOF
-    fi
   fi
 else
   cat <<EOF