jcgruenhage/void-packages
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

webkitgtk: repair installation (gtk-doc is gone)

Browse source
This commit is contained in:
Juan RP 2014-10-15 14:04:52 +02:00
parent d28bebe361
commit 4c91bae626
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
srcpkgs/webkitgtk/template
View file

@ -64,7 +64,7 @@ webkitgtk-devel_package() {
if [ "$build_option_gir" ]; then if [ "$build_option_gir" ]; then
vmove usr/share/gir-1.0 vmove usr/share/gir-1.0
fi fi
vmove usr/share/gtk-doc #vmove usr/share/gtk-doc
vmove "usr/lib/*.so" vmove "usr/lib/*.so"
} }
} }