diff options
author | Yurii Kolesnykov | 2023-08-19 14:40:56 +0300 |
---|---|---|
committer | Yurii Kolesnykov | 2023-08-19 14:40:56 +0300 |
commit | 46926477d2825a4436b9d45d75df77423aa17a4c (patch) | |
tree | 5f8515a69c959704457cc3e83270bdc9c04970ff | |
parent | 53cf1e056ecfb4449d757619a1b5b478f155beb1 (diff) | |
download | aur-46926477d2825a4436b9d45d75df77423aa17a4c.tar.gz |
disable docs due to build error
Signed-off-by: Yurii Kolesnykov <root@yurikoles.com>
-rw-r--r-- | .SRCINFO | 5 | ||||
-rw-r--r-- | PKGBUILD | 6 |
2 files changed, 4 insertions, 7 deletions
@@ -1,6 +1,6 @@ pkgbase = linux-drm-tip-git pkgdesc = Linux kernel with bleeding-edge GPU drivers - pkgver = 6.5.r1202447.d9a24afd3bf99 + pkgver = 6.5.r1202741.7a825a06c6ee6 pkgrel = 1 url = https://cgit.freedesktop.org/drm-tip arch = x86_64 @@ -41,6 +41,3 @@ pkgname = linux-drm-tip-git pkgname = linux-drm-tip-headers-git pkgdesc = Headers and scripts for building modules for the Linux kernel with bleeding-edge GPU drivers kernel depends = pahole - -pkgname = linux-drm-tip-docs-git - pkgdesc = Documentation for the Linux kernel with bleeding-edge GPU drivers kernel @@ -6,7 +6,7 @@ # pkgbase=linux-drm-tip-git -pkgver=6.5.r1202447.d9a24afd3bf99 +pkgver=6.5.r1202741.7a825a06c6ee6 pkgrel=1 pkgdesc='Linux kernel with bleeding-edge GPU drivers' _product="${pkgbase%-git}" @@ -89,7 +89,7 @@ prepare() { build() { cd $_srcname _make all - _make htmldocs +# _make htmldocs } _package() { @@ -236,7 +236,7 @@ _package-docs() { pkgname=( "${_product}-git" "${_product}-headers-git" - "${_product}-docs-git" +# "${_product}-docs-git" ) for _package in "${pkgname[@]}"; do local _package_no_git="${_package%-git}" |