Merge pull request #181872 from Majiir/gnome-rebuild-css

gnome-shell: build css from source
This commit is contained in:
Jan Tojnar 2022-08-11 11:23:52 +02:00 committed by GitHub
commit 439f25de4d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -184,6 +184,7 @@ stdenv.mkDerivation rec {
# We can generate it ourselves.
rm -f man/gnome-shell.1
rm data/theme/gnome-shell.css
'';
preFixup = ''