diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-06-22 22:57:26 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-06-23 00:03:08 +0200 |
| commit | a524a31de43b330c911fb08ae02fcd880d32aa04 (patch) | |
| tree | d739815c0597dc159b0b1a41d151c42e42104c23 /build-aux | |
| parent | 2f562699ea936f9639ccf5deef2e7b458a7426bf (diff) | |
| download | guix-patches-a524a31de43b330c911fb08ae02fcd880d32aa04.tar guix-patches-a524a31de43b330c911fb08ae02fcd880d32aa04.tar.gz | |
self: Speed up Texinfo cross-reference translation.
Building guix-translated-texinfo.drv goes from 11mn to 1mn50s, most of
which is taken by po4a.
* guix/self.scm (translate-texi-manuals)[build](make-ref-regex): Remove.
(canonicalize-whitespace): New procedure.
(xref-regexp): New variable.
(translate-cross-references): Rewrite to iterate over the
cross-references rather than iterating over the msgids. Update caller.
Diffstat (limited to 'build-aux')
0 files changed, 0 insertions, 0 deletions