# Template file for 'gnome-shell-extensions-places-menu'.
#
short_desc="Places menu extension for GNOME Shell"
Add_dependency run gnome-shell-extensions
noarch=yes
do_install()
{
cd ${wrksrc}/extensions/places-menu
make DESTDIR=${DESTDIR} install
}