Files
gnome-shell-extensions/extension.mk
Giovanni Campagna a7d59970cb Bump version to 2.91.90
Tracking current version of GNOME Shell, released yesteday.
Also, build fix to ensure that metadata.json is rebuilt correctly.
2011-02-23 19:01:02 +01:00

20 lines
626 B
Makefile

# Change these to modify how installation is performed
topextensiondir = $(datadir)/gnome-shell/extensions
extensionbase = @gnome-shell-extensions.gnome.org
uuid = $(EXTENSION_ID)$(extensionbase)
extensiondir = $(topextensiondir)/$(uuid)
dist_extension_DATA = extension.js stylesheet.css
nodist_extension_DATA = metadata.json $(EXTRA_EXTENSION)
EXTRA_DIST = metadata.json.in
metadata.json: metadata.json.in $(top_builddir)/config.status
$(AM_V_GEN) sed -e "s|[@]LOCALEDIR@|$(datadir)/locale|" \
-e "s|[@]uuid@|$(uuid)|" \
-e "s|[@]shell_current@|$(PACKAGE_VERSION)|" $< > $@
CLEANFILES = metadata.json