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

[GNU bug Tracking System]

Your message dated Wed, 27 May 2020 16:27:49 -0500
with message-id <5ECEDB55.3010907@gmail.com>
and subject line Re: bug#41561: Documentation build error "@node `target_link 
procedure' previously defined"
has caused the debbugs.gnu.org bug report #41561,
regarding Documentation build error "@node `target_link procedure' previously 
defined"
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
41561: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=41561
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> Documentation build error "@node `target_link procedure' previously defined"
>
>
>
>
> 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
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: 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:1.8.1.22) Gecko/20090807 MultiZilla/1.8.3.4e SeaMonkey/1.1.17 Mnenhy/0.7.6.0
>
>
>
>
> 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
>
>
>
> --- End Message ---