webkit-gtk: remove conflicting gtk-doc files.
This commit is contained in:
parent
01b148de91
commit
92cb7f5046
1 changed files with 7 additions and 1 deletions
|
@ -1,7 +1,7 @@
|
||||||
# Template file for 'webkit-gtk'
|
# Template file for 'webkit-gtk'
|
||||||
pkgname=webkit-gtk
|
pkgname=webkit-gtk
|
||||||
version=1.10.2
|
version=1.10.2
|
||||||
revision=5
|
revision=6
|
||||||
wrksrc="webkitgtk-${version}"
|
wrksrc="webkitgtk-${version}"
|
||||||
build_style=gnu-configure
|
build_style=gnu-configure
|
||||||
configure_args="--enable-jit --with-font-backend=freetype --with-gtk=2.0
|
configure_args="--enable-jit --with-font-backend=freetype --with-gtk=2.0
|
||||||
|
@ -19,6 +19,11 @@ license="LGPL-2.1, Simplified BSD (2 clause)"
|
||||||
distfiles="${homepage}/releases/webkitgtk-${version}.tar.xz"
|
distfiles="${homepage}/releases/webkitgtk-${version}.tar.xz"
|
||||||
checksum=19234f8e4edfaefe91ed06471a2aa8c71d26dd55d33787eede1dcfc9a3a96d9c
|
checksum=19234f8e4edfaefe91ed06471a2aa8c71d26dd55d33787eede1dcfc9a3a96d9c
|
||||||
|
|
||||||
|
post_install() {
|
||||||
|
# Remove conflicting files with webkitgtk-devel.
|
||||||
|
rm -rf ${DESTDIR}/usr/share/gtk-doc
|
||||||
|
}
|
||||||
|
|
||||||
webkit-gtk-devel_package() {
|
webkit-gtk-devel_package() {
|
||||||
depends="libglib-devel gtk+-devel libsoup-devel webkit-gtk-${version}_${revision}"
|
depends="libglib-devel gtk+-devel libsoup-devel webkit-gtk-${version}_${revision}"
|
||||||
short_desc+=" - development files"
|
short_desc+=" - development files"
|
||||||
|
@ -26,5 +31,6 @@ webkit-gtk-devel_package() {
|
||||||
vmove usr/include
|
vmove usr/include
|
||||||
vmove usr/lib/pkgconfig
|
vmove usr/lib/pkgconfig
|
||||||
vmove usr/share/gir-1.0
|
vmove usr/share/gir-1.0
|
||||||
|
vmove "usr/lib/*.so"
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue