File mintmenu_change-locale-directory.patch of Package mintmenu

diff -upr mintmenu-orig/usr/lib/linuxmint/mintMenu/mintMenuConfig.py mintmenu/usr/lib/linuxmint/mintMenu/mintMenuConfig.py
--- mintmenu-orig/usr/lib/linuxmint/mintMenu/mintMenuConfig.py	2013-05-08 18:10:17.623151000 +0200
+++ mintmenu/usr/lib/linuxmint/mintMenu/mintMenuConfig.py	2013-05-08 18:19:21.207661438 +0200
@@ -22,7 +22,7 @@ PATH = os.path.abspath( os.path.dirname(
 sys.path.append( os.path.join( PATH , "plugins") )
 
 # i18n
-gettext.install("mintmenu", "/usr/share/linuxmint/locale")
+gettext.install("mintmenu", "/usr/share/locale")
 
 from easygsettings import EasyGSettings

diff -upr mintmenu-orig/usr/lib/linuxmint/mintMenu/mintMenu.py mintmenu/usr/lib/linuxmint/mintMenu/mintMenu.py
--- mintmenu-orig/usr/lib/linuxmint/mintMenu/mintMenu.py	2013-05-08 18:10:17.624151000 +0200
+++ mintmenu/usr/lib/linuxmint/mintMenu/mintMenu.py	2013-05-08 18:20:39.051449579 +0200
@@ -46,7 +46,7 @@ else:
         libc.call('prctl', 15, 'mintmenu', 0, 0, 0)
 
 # i18n
-gettext.install("mintmenu", "/usr/share/linuxmint/locale")
+gettext.install("mintmenu", "/usr/share/locale")
 
 NAME = _("Menu")
 PATH = os.path.abspath( os.path.dirname( sys.argv[0] ) )
diff -upr mintmenu-orig/usr/lib/linuxmint/mintMenu/plugins/applications.py mintmenu/usr/lib/linuxmint/mintMenu/plugins/applications.py
--- mintmenu-orig/usr/lib/linuxmint/mintMenu/plugins/applications.py	2013-05-08 18:10:17.625151000 +0200
+++ mintmenu/usr/lib/linuxmint/mintMenu/plugins/applications.py	2013-05-08 18:18:44.934294183 +0200
@@ -34,7 +34,7 @@ import matemenu
 from user import home
 
 # i18n
-gettext.install("mintmenu", "/usr/share/linuxmint/locale")
+gettext.install("mintmenu", "/usr/share/locale")
 
 class PackageDescriptor():
     def __init__(self, name, summary, description):
diff -upr mintmenu-orig/usr/lib/linuxmint/mintMenu/plugins/places.py mintmenu/usr/lib/linuxmint/mintMenu/plugins/places.py
--- mintmenu-orig/usr/lib/linuxmint/mintMenu/plugins/places.py	2013-03-10 03:02:01.000000000 +0100
+++ mintmenu/usr/lib/linuxmint/mintMenu/plugins/places.py	2013-05-08 18:17:30.782543423 +0200
@@ -18,7 +18,7 @@ from urllib import unquote
 gtk = CDLL("libgtk-x11-2.0.so.0")
 
 # i18n
-gettext.install("mintmenu", "/usr/share/linuxmint/locale")
+gettext.install("mintmenu", "/usr/share/locale")
 
 class pluginclass( object ):
 
diff -upr mintmenu-orig/usr/lib/linuxmint/mintMenu/plugins/system_management.py mintmenu/usr/lib/linuxmint/mintMenu/plugins/system_management.py
--- mintmenu-orig/usr/lib/linuxmint/mintMenu/plugins/system_management.py	2013-05-08 18:10:17.620151000 +0200
+++ mintmenu/usr/lib/linuxmint/mintMenu/plugins/system_management.py	2013-05-08 18:18:19.944041166 +0200
@@ -13,7 +13,7 @@ from execute import Execute
 from easygsettings import EasyGSettings
 
 # i18n
-gettext.install("mintmenu", "/usr/share/linuxmint/locale")
+gettext.install("mintmenu", "/usr/share/locale")
 
 class pluginclass( object ):