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

From: [email-masked] (GNU bug Tracking System)
Date: Wed, 27 May 2020 21:28:02 +0000

Your bug report

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

which was filed against the dejagnu package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
41561: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=41561
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: bug#41561: Documentation build error "@node `target_link procedure' previously defined"
From: Jacob Bachmeyer <[email-masked]>
To: Jozef Lawrynowicz <[email-masked]>
Cc: [email-masked]
Date: Wed, 27 May 2020 16:27:49 -0500
List-Id: <debbugs-submit.debbugs.gnu.org>

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

Subject: Documentation build error "@node `target_link procedure' previously defined"
From: Jozef Lawrynowicz <[email-masked]>
To: [email-masked]
Date: Wed, 27 May 2020 10:32:04 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

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