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

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Robert Menteer <reetnem <at> mac.com>
Subject: bug#44693: closed (Re: bug#44693: Missing documentation for make
 variables)
Date: Wed, 18 Nov 2020 03:58:03 +0000

[Message part 1 (text/plain, inline)]

Your bug report

#44693: Missing documentation for make variables

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 44693 <at> debbugs.gnu.org.

-- 
44693: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=44693
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

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

[Message part 3 (message/rfc822, inline)]

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

Previous Next

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