[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#47428: Problems building the up-to-date "devel" manual for the websi
|
From: |
Ludovic Courtès |
|
Subject: |
bug#47428: Problems building the up-to-date "devel" manual for the website |
|
Date: |
Fri, 02 Apr 2021 21:00:56 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) |
Hi Mathieu,
Thanks for fixing this!
Mathieu Othacehe <othacehe@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’.