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

Jozef Lawrynowicz wrote:
> 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
>   

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




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