diff --git a/gtk/gen-gtk-gresources-xml.py b/gtk/gen-gtk-gresources-xml.py index 10478e4c76..99a687f40c 100644 --- a/gtk/gen-gtk-gresources-xml.py +++ b/gtk/gen-gtk-gresources-xml.py @@ -61,6 +61,13 @@ for f in get_files('ui', '.ui'): xml += '\n' +for s in ['16x16', '24x24', '32x32', '48x48']: + for c in ['actions', 'status']: + icons_dir = 'icons/{0}/{1}'.format(s,c) + if os.path.exists(os.path.join(srcdir,icons_dir)): + for f in get_files(icons_dir, '.png'): + xml += ' icons/{0}/{1}/{2}\n'.format(s,c,f) + for f in get_files('inspector', '.ui'): xml += ' inspector/{0}\n'.format(f)