Re: [PATCH] Fix dejagnu.texi dependency declaration

Jacob Bachmeyer <[email protected]> Tue, 15 Dec 2020 21:34:46 -0600

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

Dimitar Dimitrov wrote:
> This fixes "make distcheck" on my Debian 10 system.
>   

Thanks; trivial patch applied.  I also cleaned up some other details in 
the build files while I was looking at them.


-- Jacob