bug#44693: Missing documentation for make variables

Robert Menteer via Bug-dejagnu via <[email protected]> Mon, 16 Nov 2020 13:30:02 -0500

Newsgroups	gmane.comp.sysutils.dejagnu.bugs
Message-ID	<[email protected]>

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


_______________________________________________
Bug-dejagnu mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-dejagnu