bug#35913: [core-updates] Building "doc/guix.de.texi" fails

[Ludovic Courtès]

Hello,

Marius Bakke <address@hidden> skribis:

> On the 'core-updates' branch, `make dist-info` fails like so:
>
>   $ make dist-info
>     MAKEINFO doc/guix.de.info
>   ./doc/guix.de.texi:26832: @menu reference to nonexistent node 
> `Vorbereitung, um die Bootstrap-Binrdateien zu verwenden'
>   ./doc/guix.de.texi:26837: warning: node `Vorbereitung' is next for `Reduced 
> Binary Seed Bootstrap' in sectioning but not in menu
>   ./doc/guix.de.texi:26884: Next reference to nonexistent `um die 
> Bootstrap-Binrdateien zu verwenden'
>   make: *** [Makefile:3929: doc/guix.de.info] Error 1

I believe this has to do with the fact that, in ‘core-updates’, “Reduced
Binary Seed Bootstrap” is a new node.

Julien, any idea what’s going on?

Thanks,
Ludo’.