[gtk/theme-reorg: 1329/1330] Make the theme variants available as themes

[Matthias Clasen <matthiasc src gnome org>]

commit 4731621ad1bac7b1aabbb313fff0c4ad6aed76af
Author: Matthias Clasen <mclasen redhat com>
Date:   Fri Jan 15 01:07:08 2021 -0500

    Make the theme variants available as themes
    
    This makes it easier to implement the theme switching
    in widget-factory, since we don't have a variant setting.

 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 69c98c44d4..ad602d53bb 100644
--- a/gtk/gen-gtk-gresources-xml.py
+++ b/gtk/gen-gtk-gresources-xml.py
@@ -32,7 +32,12 @@ def get_files(subdir,extension):
 
 xml += '''
     <file>theme/Empty/gtk.css</file>
+
     <file>theme/Default/gtk.css</file>
+    <file alias='theme/Default-dark/gtk.css'>theme/Default/gtk-dark.css</file>
+    <file alias='theme/Default-hc/gtk.css'>theme/Default/gtk-hc.css</file>
+    <file alias='theme/Default-hc-dark/gtk.css'>theme/Default/gtk-hc-dark.css</file>
+
     <file>theme/Default/gtk-light.css</file>
     <file>theme/Default/gtk-dark.css</file>
     <file>theme/Default/gtk-hc.css</file>