Subject: bug#47428: Problems building the up-to-date "devel" manual for the website

From: Ludovic Courtès <[email-masked]>
Date: Fri, 02 Apr 2021 21:00:56 +0200

Hi Mathieu,

Thanks for fixing this!

Mathieu Othacehe <[email-masked]> 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’.