summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorYurii Kolesnykov2023-08-19 14:40:56 +0300
committerYurii Kolesnykov2023-08-19 14:40:56 +0300
commit46926477d2825a4436b9d45d75df77423aa17a4c (patch)
tree5f8515a69c959704457cc3e83270bdc9c04970ff
parent53cf1e056ecfb4449d757619a1b5b478f155beb1 (diff)
downloadaur-46926477d2825a4436b9d45d75df77423aa17a4c.tar.gz
disable docs due to build error
Signed-off-by: Yurii Kolesnykov <root@yurikoles.com>
-rw-r--r--.SRCINFO5
-rw-r--r--PKGBUILD6
2 files changed, 4 insertions, 7 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 90d6ba50c7a9..d4e852cb1df4 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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
diff --git a/PKGBUILD b/PKGBUILD
index 39156ac8eb9f..ae86205cb5bc 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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}"