Subject: [core-updates] Building "doc/guix.de.texi" fails
From: Marius Bakke <[email-masked]>
To: [email-masked]
Date: Sun, 26 May 2019 08:50:35 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

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.