# 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
}