From 45b251fd045fe47dd65d42a269508ee50f26565d Mon Sep 17 00:00:00 2001 From: Ludovic Courtès Date: Thu, 28 Oct 2021 18:13:53 +0200 Subject: doc: Allow offloading of the expensive derivations. * doc/build.scm (translated-texi-manuals) (html-manual, pdf-manual): Pass #:local-build? #f. --- doc/build.scm | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'doc') diff --git a/doc/build.scm b/doc/build.scm index 1d086b83ac..a9e279159b 100644 --- a/doc/build.scm +++ b/doc/build.scm @@ -1,5 +1,5 @@ ;;; GNU Guix --- Functional package management for GNU -;;; Copyright © 2019, 2020 Ludovic Courtès +;;; Copyright © 2019, 2020, 2021 Ludovic Courtès ;;; Copyright © 2020 Björn Höfling ;;; ;;; This file is part of GNU Guix. @@ -59,6 +59,7 @@ ;; failed" crash: . (computed-file (computed-file-name result) (computed-file-gexp result) + #:local-build? #f #:options (computed-file-options result) #:guile guile-3.0-latest))))) @@ -699,7 +700,7 @@ makeinfo OPTIONS." '#$languages))))) (let* ((name (string-append manual "-html-manual")) - (manual (computed-file name build))) + (manual (computed-file name build #:local-build? #f))) (syntax-highlighted-html manual #:mono-node-indexes mono-node-indexes #:split-node-indexes split-node-indexes @@ -803,7 +804,8 @@ PDF for language '~a'!~%~%" opts)))) '#$languages)))) - (computed-file (string-append manual "-pdf-manual") build)) + (computed-file (string-append manual "-pdf-manual") build + #:local-build? #f)) (define (guix-manual-text-domain source languages) "Return the PO files for LANGUAGES of the 'guix-manual' text domain taken -- cgit 1.4.1