# HG changeset patch
# User diego
# Date 1117409593 0
# Node ID aadde9ec90588057439a412f0cc6fb038998257b
# Parent  3d32bc09b975cc401a3383e3f795b04c0c805cf1
Add a variable for the codec directory and set it to /usr/lib/codecs instead
of the old /usr/lib/win32.

diff -r 3d32bc09b975 -r aadde9ec9058 TOOLS/install-w32codecs.sh
--- a/TOOLS/install-w32codecs.sh	Sun May 29 23:16:22 2005 +0000
+++ b/TOOLS/install-w32codecs.sh	Sun May 29 23:33:13 2005 +0000
@@ -7,8 +7,10 @@
 
 arch=$(dpkg --print-installation-architecture)
 
-[ -d /usr/lib/win32 ] || mkdir -v /usr/lib/win32
-cd /usr/lib/win32
+codecsdir=/usr/lib/codecs
+
+[ -d $codecsdir ] || mkdir -v $codecsdir
+cd $codecsdir
 [ -d mplayer_win32_codecs ] || mkdir -v mplayer_win32_codecs
    
 INSTALL () { 
@@ -16,7 +18,7 @@
     site="$2"
     url="$site/$filename"
 
-    cd /usr/lib/win32/mplayer_win32_codecs
+    cd $codecsdir/mplayer_win32_codecs
 
     if [ -r $filename.list ] ; then
       #if we stop the script, we don't want to redownload things
@@ -56,7 +58,7 @@
      
    mainurl=''
 
-   pref=/usr/lib/win32/mplayer_win32_codecs/bestsite
+   pref=$codecsdir/mplayer_win32_codecs/bestsite
 
    #distribute the load
    if [ -r $pref ] ; then
@@ -111,13 +113,13 @@
 	;;
     
     uninstall)
-	cd /usr/lib/win32/
+	cd $codecsdir
 	rm -rf mplayer_win32_codecs      
 	#FIXME we need a better clean system
 	if [ -r /usr/bin/symlinks ] ; then
          symlinks -d .
 	else
-	 echo "please install the package 'symlinks' and run 'symlinks -d /usr/lib/win32' "
+	 echo "please install the package 'symlinks' and run 'symlinks -d $codecsdir' "
 	fi
 	echo "Uninstalled Succesfully!"