diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2021-10-28 18:13:53 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2021-10-28 21:30:27 +0200 |
| commit | 45b251fd045fe47dd65d42a269508ee50f26565d (patch) | |
| tree | 8eb302cb7c18bc7b195b45a6806dbbbb718d34cf /doc/build.scm | |
| parent | 219cf5093ec847b1cce09eb6a21dc2699f133d3d (diff) | |
| download | guix-45b251fd045fe47dd65d42a269508ee50f26565d.tar guix-45b251fd045fe47dd65d42a269508ee50f26565d.tar.gz | |
doc: Allow offloading of the expensive derivations.
* doc/build.scm (translated-texi-manuals)
(html-manual, pdf-manual): Pass #:local-build? #f.
Diffstat (limited to 'doc/build.scm')
| -rw-r--r-- | doc/build.scm | 8 |
1 files changed, 5 insertions, 3 deletions
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 <ludo@gnu.org> +;;; Copyright © 2019, 2020, 2021 Ludovic Courtès <ludo@gnu.org> ;;; Copyright © 2020 Björn Höfling <bjoern.hoefling@bjoernhoefling.de> ;;; ;;; This file is part of GNU Guix. @@ -59,6 +59,7 @@ ;; failed" crash: <https://bugs.gnu.org/47428>. (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 |