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/environment-gdb.scm | |
| parent | 219cf5093ec847b1cce09eb6a21dc2699f133d3d (diff) | |
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/environment-gdb.scm')
0 files changed, 0 insertions, 0 deletions