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

[Marius Bakke]

Hello!

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

This may be the result of a bad merge in
57df83e07d4b5e78d9a54c1a88d05b4a9ed65714.  But there was no conflicts in
that area, and I don't really understand the error message.

The documentation section in question only exists on the 'core-updates'
branch and was added in commit a243722c5b8d50b4f0e3f9717ca71aa43dfc56a3.

signature.asc
Description: PGP signature