make ./waf install do the right thing with color files

diff --git a/gtk2_ardour/wscript b/gtk2_ardour/wscript
index 95d9ff9a15c8fbfb183ce422d144f1d0729b4deb..d9e6b2efcd21df56d71ae4c0d45fa50682f29e11 100644 (file)
--- a/gtk2_ardour/wscript
+++ b/gtk2_ardour/wscript
@@ -818,7 +818,9 @@ def build(bld):
     bld.install_files(bld.env['CONFDIR'], 'default_ui_config')
     # Color Themes. Find each color file for this program, strip the program name
     # and install.
-    bld.install_files (os.path.join(bld.env['DATADIR'], 'themes'), bld.path.ant_glob ('themes/*-' + Options.options.program_name.lower() + '.colors'));
+    for color_file in bld.path.ant_glob ('themes/*-' + Options.options.program_name.lower() + '.colors'):
+            shortname = os.path.basename (color_file.srcpath().replace ("-" + Options.options.program_name.lower(), ""))
+            bld.install_as (os.path.join(bld.env['DATADIR'], 'themes', shortname), color_file)
 
     # Default export stuff
     bld.install_files(os.path.join(bld.env['CONFDIR'], 'export'), bld.path.ant_glob('export/*.format'))