summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD4
1 files changed, 2 insertions, 2 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 50a00a4a4609..38b8ba90d330 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -3,13 +3,13 @@
pkgbase=linux-rt
pkgver=5.17.1.17.realtime2
-pkgrel=2
+pkgrel=3
pkgdesc='Linux RT'
arch=(x86_64)
url="https://gitlab.archlinux.org/dvzrv/linux-rt/-/commits/v${pkgver}"
license=(GPL2)
makedepends=(bc cpio git graphviz imagemagick kmod libelf pahole perl
-python-sphinx python-sphinx_rtd_theme tar xmlto)
+python-sphinx python-sphinx_rtd_theme texlive-latexextra xmlto)
options=(!strip)
source=(
"git+https://gitlab.archlinux.org/dvzrv/linux-rt#tag=v${pkgver}?signed"