d76abc79c7
gnome.org is temporarily forbidden in UUIDs, to avoid people copy-pasting it around. For this reason, I setup a repo at github and modified the UUID accordingly. I still think that primary development will stay at gnome.org, although I'll keep both updated.
23 lines
727 B
Makefile
23 lines
727 B
Makefile
extensionurl = http://git.gnome.org/gnome-shell-extensions
|
|
|
|
# Change these to modify how installation is performed
|
|
topextensiondir = $(datadir)/gnome-shell/extensions
|
|
extensionbase = @gnome-shell-extensions.gcampax.github.com
|
|
|
|
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)|" \
|
|
-e "s|[@]url@|$(extensionurl)|" $< > $@
|
|
|
|
CLEANFILES = metadata.json
|