|
From: | Jacob Bachmeyer |
Subject: | bug#44693: Missing documentation for make variables |
Date: | Tue, 17 Nov 2020 21:57:08 -0600 |
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 |
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
[Prev in Thread] | Current Thread | [Next in Thread] |