2010-06-09 10:16:22 +02:00
|
|
|
# Template file for 'gedit-devel'.
|
|
|
|
|
#
|
2013-03-28 21:17:54 +01:00
|
|
|
depends="gtksourceview-devel>=3.8 libpeas-devel>=1.8"
|
|
|
|
|
short_desc="${short_desc} - development files"
|
2010-06-09 10:16:22 +02:00
|
|
|
|
2012-03-22 17:35:10 +01:00
|
|
|
do_install() {
|
2011-07-05 10:00:56 +02:00
|
|
|
vmove usr/include usr
|
|
|
|
|
vmove usr/lib/pkgconfig usr/lib
|
|
|
|
|
vmove usr/share/gtk-doc usr/share
|
|
|
|
|
vmove usr/share/gedit/gir-1.0 usr/share/gedit
|
2010-06-09 10:16:22 +02:00
|
|
|
}
|
