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.

Full log

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
This bug report was last modified 4 years and 240 days ago.

Previous Next

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