|
| 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: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
| [Prev in Thread] | Current Thread | [Next in Thread] |