Move pre-generated stylesheet to separate source

It is easier to keep the raw file updated without having to wrap
it in a git commit / patch.

Related: RHEL-56037
This commit is contained in:
Florian Müllner 2024-08-26 17:25:49 +02:00
parent 6eb759da86
commit 41c9de0f18
No known key found for this signature in database
3 changed files with 1318 additions and 1333 deletions

File diff suppressed because it is too large Load Diff

View File

@ -19,6 +19,7 @@ Source0: %{giturl}/archive/%{commit}.tar.gz
%else %else
Source0: %{giturl}/archive/extensions.gnome.org-v%{version}.tar.gz#/%{name}-%{version}.tar.gz Source0: %{giturl}/archive/extensions.gnome.org-v%{version}.tar.gz#/%{name}-%{version}.tar.gz
%endif %endif
Source1: stylesheet.css
BuildArch: noarch BuildArch: noarch
@ -28,8 +29,6 @@ BuildRequires: %{_bindir}/glib-compile-schemas
%if 0%{?fedora} %if 0%{?fedora}
BuildRequires: sassc BuildRequires: sassc
%else
Patch: 0001-Pre-generate-stylesheet.patch
%endif %endif
Requires: gnome-shell-extension-common Requires: gnome-shell-extension-common
@ -54,6 +53,11 @@ to leave the desktop view.
%autosetup -n dash-to-dock-extensions.gnome.org-v%{version} -p 1 %autosetup -n dash-to-dock-extensions.gnome.org-v%{version} -p 1
%endif %endif
%if 0%{?rhel}
# pre-generated stylesheet; use `make stylesheet.css` to update
cp %{SOURCE1} .
%endif
%build %build
%make_build %make_build

1312
stylesheet.css Normal file

File diff suppressed because it is too large Load Diff