aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2021-10-28 18:13:53 +0200
committerLudovic Courtès <ludo@gnu.org>2021-10-28 21:30:27 +0200
commit45b251fd045fe47dd65d42a269508ee50f26565d (patch)
tree8eb302cb7c18bc7b195b45a6806dbbbb718d34cf
parent219cf5093ec847b1cce09eb6a21dc2699f133d3d (diff)
downloadguix-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.
-rw-r--r--doc/build.scm8
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