Subject: Re: bug#47428: Problems building the up-to-date "devel" manual for the website
From: Mathieu Othacehe <[email-masked]>
To: Leo Famulari <[email-masked]>
Cc: [email-masked]
Date: Fri, 02 Apr 2021 11:33:57 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

> ). 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 by building this derivation on one core. Looks like
the cookbook, website, manual and devel manual are now building fine.

Closing this one,

Thanks,

Mathieu