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

Jozef Lawrynowicz <[email protected]> Wed, 27 May 2020 10:32:04 +0100
Newsgroups gmane.comp.sysutils.dejagnu.bugs
Message-ID <20200527093204.dqygpthebmqenq3a@jozef-acer-manjaro>
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



_______________________________________________
Bug-dejagnu mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-dejagnu