[gtk/builder-precompile: 4/5] Include precompiled versions of .ui files

[Matthias Clasen <matthiasc src gnome org>]

commit 0828ab7affd8e9fd0758ba6ad229e57af43936df
Author: Matthias Clasen <mclasen redhat com>
Date:   Wed Jan 29 15:51:14 2020 +0100

    Include precompiled versions of .ui files
    
    These are smaller, and a little faster to process
    than .ui files.

 gtk/gen-gtk-gresources-xml.py | 5 +++++
 1 file changed, 5 insertions(+)
---
diff --git a/gtk/gen-gtk-gresources-xml.py b/gtk/gen-gtk-gresources-xml.py
index 95bccf9268..c68b7a7653 100644
--- a/gtk/gen-gtk-gresources-xml.py
+++ b/gtk/gen-gtk-gresources-xml.py
@@ -57,6 +57,11 @@ for f in get_files('ui', '.ui'):
 
 xml += '\n'
 
+for f in get_files('ui', '.ui.precompiled'):
+  xml += '    <file>ui/{0}</file>\n'.format(f)
+
+xml += '\n'
+
 for s in ['16x16', '24x24', '32x32', '48x48', 'scalable']:
   for c in ['actions', 'categories', 'emblems', 'emotes', 'devices', 'mimetypes', 'places', 'status']:
     icons_dir = 'icons/{0}/{1}'.format(s,c)