Subject: bug#41561: Documentation build error "@node `target_link procedure' previously defined"

From: Jozef Lawrynowicz <[email-masked]>
Date: Wed, 27 May 2020 10:32:04 +0100

Attempting to build DejaGNU for x86_64-pc-linux-gnu by doing a
  ./configure
  make
in the root directory results in make failing with the following error:
  ../doc/dejagnu.texi:4711: @node `target_link procedure' previously defined
  ../doc/dejagnu.texi:4697: here is the previous definition as @node
  make: *** [Makefile:702: ../doc/dejagnu.info] Error 1