2011-10-05 22:20:15 +02:00
|
|
|
# Template file for 'gnome-shell-extensions-apps-menu'.
|
|
|
|
|
#
|
2012-05-23 18:26:56 +02:00
|
|
|
depends="gnome-shell-extensions"
|
2011-10-05 22:20:15 +02:00
|
|
|
short_desc="Apps menu extension for GNOME Shell"
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
noarch=yes
|
|
|
|
|
|
|
|
|
|
do_install()
|
|
|
|
|
{
|
|
|
|
|
cd ${wrksrc}/extensions/apps-menu
|
|
|
|
|
make DESTDIR=${DESTDIR} install
|
|
|
|
|
}
|
