Package: dejagnu;
Reported by: Jozef Lawrynowicz <jozef.l <at> mittosystems.com>
Date: Wed, 27 May 2020 09:46:01 UTC
Severity: normal
Done: Jacob Bachmeyer <jcb62281 <at> gmail.com>
Bug is archived. No further changes may be made.
To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 41561 in the body.
You can then email your comments to 41561 AT debbugs.gnu.org in the normal way.
Toggle the display of automated, internal messages from the tracker.
View this report as an mbox folder, status mbox, maintainer mbox
Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):
From: Jozef Lawrynowicz <jozef.l <at> mittosystems.com> To: bug-dejagnu <at> gnu.org Subject: Documentation build error "@node `target_link procedure' previously defined" Date: Wed, 27 May 2020 10:32:04 +0100
Message #10 received at 41561-done <at> debbugs.gnu.org (full text, mbox):
From: Jacob Bachmeyer <jcb62281 <at> gmail.com> To: Jozef Lawrynowicz <jozef.l <at> mittosystems.com> Cc: 41561-done <at> debbugs.gnu.org Subject: Re: bug#41561: Documentation build error "@node `target_link procedure' previously defined" Date: Wed, 27 May 2020 16:27:49 -0500
Debbugs Internal Request <help-debbugs <at> gnu.org>
to internal_control <at> debbugs.gnu.org
.
(Thu, 25 Jun 2020 11:24:08 GMT) Full text and rfc822 format available.
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.