diff options
| author | Matthias Clasen <mclasen@redhat.com> | 2020-01-29 15:51:14 +0100 |
|---|---|---|
| committer | Matthias Clasen <mclasen@redhat.com> | 2021-12-14 01:51:22 -0500 |
| commit | 1cc3c019e69f3ec86cf38a9f5ecb3b9cf8d814da (patch) | |
| tree | 3e7e6a3c0156f4f7cf46755253762ab051202fad /gtk/gen-gtk-gresources-xml.py | |
| parent | 319aa558a52f07602c732ded8385ef9708fe6b16 (diff) | |
| download | gtk+-builder-precompile.tar.gz | |
Include precompiled versions of .ui filesbuilder-precompile
These are smaller, and a faster to process than .ui files.
Diffstat (limited to 'gtk/gen-gtk-gresources-xml.py')
| -rw-r--r-- | gtk/gen-gtk-gresources-xml.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gtk/gen-gtk-gresources-xml.py b/gtk/gen-gtk-gresources-xml.py index 179761a154..427623fb00 100644 --- a/gtk/gen-gtk-gresources-xml.py +++ b/gtk/gen-gtk-gresources-xml.py @@ -66,7 +66,7 @@ for f in get_files('theme/Default/assets-hc', '.svg'): xml += ' <file preprocess=\'xml-stripblanks\'>theme/Default/assets-hc/{0}</file>\n'.format(f) for f in get_files('ui', '.ui'): - xml += ' <file>ui/{0}</file>\n'.format(f) + xml += ' <file alias="ui/{0}">ui/{0}.precompiled</file>\n'.format(f) xml += '\n' |