gnome-shell-extensions

VesperOS/gnome-shell-extensions

Fork 0

Commit Graph

Author	SHA1	Message	Date
Florian Müllner	769ad859e6	build: Check NEWS for version I don't think this ever happened to me, but it can't hurt enforcing that every release has a corresponding NEWS entry. (The script has been copied from Polari, thus the metainfo support) Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/186>	2021-09-04 05:10:23 +02:00
Florian Müllner	669e7c32a2	classic: Pre-generate stylesheet We follow the rule of not putting generated files under version control, but that means drawing in additional build-time dependencies. We can reduce those when building from a released tarball by generating the stylesheets at dist time though, so do that. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/150>	2020-12-29 00:27:07 +01:00

Author

SHA1

Message

Date

Florian Müllner

769ad859e6

build: Check NEWS for version

I don't think this ever happened to me, but it can't hurt enforcing
that every release has a corresponding NEWS entry.

(The script has been copied from Polari, thus the metainfo support)

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

2021-09-04 05:10:23 +02:00

Florian Müllner

669e7c32a2

classic: Pre-generate stylesheet

We follow the rule of not putting generated files under version
control, but that means drawing in additional build-time dependencies.
We can reduce those when building from a released tarball by
generating the stylesheets at dist time though, so do that.

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

2020-12-29 00:27:07 +01:00

2 Commits