diff options
Diffstat (limited to 'gnome3-libs/gnome-shell-extensions/DETAILS')
| -rwxr-xr-x | gnome3-libs/gnome-shell-extensions/DETAILS | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/gnome3-libs/gnome-shell-extensions/DETAILS b/gnome3-libs/gnome-shell-extensions/DETAILS new file mode 100755 index 0000000000..4be20838f5 --- /dev/null +++ b/gnome3-libs/gnome-shell-extensions/DETAILS @@ -0,0 +1,15 @@ + SPELL=gnome-shell-extensions + VERSION=3.0.2 + BRANCH=`echo $VERSION|cut -d . -f 1,2` + SOURCE=$SPELL-$VERSION.tar.bz2 +SOURCE_DIRECTORY=$BUILD_DIRECTORY/$SPELL-$VERSION + SOURCE_URL[0]=$GNOME_URL/sources/$SPELL/$BRANCH/$SOURCE + SOURCE_GPG="gurus.gpg:${SOURCE}.sig" + LICENSE[0]=GPL + WEB_SITE=http://live.gnome.org/GnomeShell/Extensions + ENTERED=20110521 + SHORT="GNOME Shell Extensions" +cat << EOF +GNOME Shell Extensions is a collection of extensions providing additional +and optional functionality to GNOME Shell. +EOF |