GNU bug report logs - #44693
Missing documentation for make variables

Previous Next

Package: dejagnu;

Reported by: Robert Menteer <reetnem <at> mac.com>

Date: Mon, 16 Nov 2020 18:31:02 UTC

Severity: minor

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 44693 in the body.
You can then email your comments to 44693 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


Report forwarded to bug-dejagnu <at> gnu.org:
bug#44693; Package dejagnu. (Mon, 16 Nov 2020 18:31:02 GMT) Full text and rfc822 format available.

Acknowledgement sent to Robert Menteer <reetnem <at> mac.com>:
New bug report received and forwarded. Copy sent to bug-dejagnu <at> gnu.org. (Mon, 16 Nov 2020 18:31:02 GMT) Full text and rfc822 format available.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Robert Menteer <reetnem <at> mac.com>
To: Robert Menteer via Bug-dejagnu <bug-dejagnu <at> gnu.org>
Subject: Missing documentation for make variables
Date: Mon, 16 Nov 2020 13:30:02 -0500
In section 2.1 of the manual it describes what you should add to Makefile.am to add DejaGnu to your makefile. There are two make variables that are missing DEJATOOL (which tells what tool to test) and EXTRA_DEJAGNU_SITE_CONFIG (for adding text from files to site.exp).

Please add documentation for these two makefile variables.

Thanks,
Bob Menteer



Information forwarded to bug-dejagnu <at> gnu.org:
bug#44693; Package dejagnu. (Wed, 18 Nov 2020 03:58:02 GMT) Full text and rfc822 format available.

Message #8 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Jacob Bachmeyer <jcb62281 <at> gmail.com>
To: Robert Menteer <reetnem <at> mac.com>, 
 Robert Menteer via Bug-dejagnu <bug-dejagnu <at> gnu.org>
Cc: 44693-done <at> debbugs.gnu.org
Subject: Re: bug#44693: Missing documentation for make variables
Date: Tue, 17 Nov 2020 21:57:08 -0600
Robert Menteer via Bug-dejagnu via wrote:
> In section 2.1 of the manual it describes what you should add to Makefile.am to add DejaGnu to your makefile. There are two make variables that are missing DEJATOOL (which tells what tool to test) and EXTRA_DEJAGNU_SITE_CONFIG (for adding text from files to site.exp).
>
> Please add documentation for these two makefile variables.
>   

While you are correct that those variables are important for users to 
know about, those are features of Automake rather than of DejaGnu.  I 
have added a cross-reference to the relevant section of the Automake 
manual at that point in commit 4e404d84294f27c3de7cffb06869afa64409f286.

Closing as now fixed.


-- Jacob




Reply sent to jcb62281 <at> gmail.com:
You have taken responsibility. (Wed, 18 Nov 2020 03:58:03 GMT) Full text and rfc822 format available.

Notification sent to Robert Menteer <reetnem <at> mac.com>:
bug acknowledged by developer. (Wed, 18 Nov 2020 03:58:03 GMT) Full text and rfc822 format available.

bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Wed, 16 Dec 2020 12:24:04 GMT) Full text and rfc822 format available.

This bug report was last modified 4 years and 237 days ago.

Previous Next


GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.