Date: Friday, April 1, 2022 @ 22:48:03 Author: heftig Revision: 441217
41.2+r48+g14272cae-1: debug on Modified: devhelp/trunk/PKGBUILD ----------+ PKGBUILD | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2022-04-01 21:38:08 UTC (rev 441216) +++ PKGBUILD 2022-04-01 22:48:03 UTC (rev 441217) @@ -4,8 +4,8 @@ pkgbase=devhelp pkgname=(devhelp devhelp-docs) -pkgver=41.2 -pkgrel=3 +pkgver=41.2+r48+g14272cae +pkgrel=1 pkgdesc="API documentation browser for GNOME" url="https://wiki.gnome.org/Apps/Devhelp"; arch=(x86_64) @@ -13,7 +13,8 @@ depends=(webkit2gtk) makedepends=(git appstream-glib gobject-introspection meson yelp-tools gi-docgen) -_commit=f05e288031ba171e8a0a589d65cba693487726d9 # tags/41.2^0 +options=(debug) +_commit=14272caec5175cacba4a044f4cacd591c0db8351 # main source=("git+https://gitlab.gnome.org/GNOME/devhelp.git#commit=$_commit";) sha256sums=('SKIP') @@ -52,7 +53,6 @@ package_devhelp-docs() { pkgdesc+=" (documentation)" depends=() - options=(!strip) mv -t "$pkgdir" docs/* }
