           SPELL=gnome-shell-extensions
         VERSION=3.2.0
	  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
