Florian Müllner eafbfdfa07 theme: Pre-generate stylesheets as well ...

Since commit 9ef9a5ff8a, man pages are generated at dist time to reduce
build dependencies when building from a released tarball.

Do the same for the stylesheets to also remove the sassc dependency.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1555>

2020-12-29 00:40:47 +01:00

..

generate-manpages.py

build: Pre-generate man pages at dist time

2020-12-28 02:25:24 +01:00

generate-stylesheets.py

theme: Pre-generate stylesheets as well

2020-12-29 00:40:47 +01:00

postinstall.py

extensionPrefs: Add application icon

2020-02-03 19:03:19 +01:00