From bc9b47bd757a47d61718fa0dcfe6882510194a7c Mon Sep 17 00:00:00 2001 From: "Jan Alexander Steffens (heftig)" Date: Tue, 4 Jul 2023 16:59:40 +0200 Subject: [PATCH] Make htmldocs separately It calls `scripts/jobserver-exec`, which grabs as many jobserver tokens as it can in order to calculate a `PARALLELISM` value to provide to the command. Unfortunately, Sphinx grossly underutilizes the parallelism it gets so slows down the build overall by denying tokens to other jobs. --- PKGBUILD | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/PKGBUILD b/PKGBUILD index 3fd7acc..0c36de5 100644 --- a/PKGBUILD +++ b/PKGBUILD @@ -78,7 +78,8 @@ prepare() { build() { cd $_srcname - _make htmldocs all + _make all + _make htmldocs } _package() {