Hi Mathieu, Thanks for fixing this!
Mathieu Othacehe <othac...@gnu.org> skribis: > There's another error though: > > ). Please consider running po4a-updatepo to refresh it. > Your input po file ./guix-manual.de.po seems outdated (The amount of entries > differ between files: 10012 is not 325 > ). Please consider running po4a-updatepo to refresh it. > mmap(PROT_NONE) failed > builder for > `/gnu/store/86gnwxxw7lfkifaal6fhflmkn3fczyhf-guix-translated-texinfo.drv' > failed due to signal 11 (Segmentation fault) I worked around it in 98750a9d9967b84a077735a2e4e6d5526256a5fd by limiting the number of threads, but that seems to be insufficient. At any rate, all the manuals are now up-to-date on berlin, meaning that this particular bug wasn’t hit there. Ludo’.
