Patch from acolomb to fix installation of midi_maps (#4430).

git-svn-id: svn://localhost/ardour2/branches/3.0@10390 d708f5d6-7413-0410-9779-e7cbd77b26cf

midi_maps/wscript

@@ -0,0 +1,17 @@
+#!/usr/bin/python
+
+import os
+
+top = '.'
+out = 'build'
+
+def configure(conf):
+    pass
+
+def build(bld):
+    maps = bld.path.ant_glob ('*.map')
+    bld.install_files (os.path.join(bld.env['DATADIR'], 'ardour3', 'midi_maps'),
+                       maps)
+
+def options(opt):
+    pass

wscript

@@ -34,6 +34,7 @@ children = [
         'gtk2_ardour',
         'templates',
         'export',
+        'midi_maps'
 ]
 
 i18n_children = [