[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Jacob Bachmeyer
Subject: bug#41561: Documentation build error "@node `target_link procedure' previously defined"
Date: Wed, 27 May 2020 16:27:49 -0500
User-agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv: Gecko/20090807 MultiZilla/ SeaMonkey/1.1.17 Mnenhy/

Jozef Lawrynowicz wrote:
Attempting to build DejaGNU for x86_64-pc-linux-gnu by doing a
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

A recent merge installing some documentation patches appears to have inadvertently duplicated that node in its entirety. A fix has been committed on the master branch (commit 5405dc038da030364ccaecb0b13c8c3ba485b380) and I believe that the problem is resolved.

In the future, please explicitly state which Git branch and commit or release tarball exhibits the problem, as that information will make finding it easier and save the developers some guessing.

Thank you for your report, and please do not hesitate to reopen this issue if you find that the problem remains after updating your clone of the repository.

-- Jacob

reply via email to

[Prev in Thread] Current Thread [Next in Thread]