Re: [PATCH] Fix dejagnu.texi dependency declaration

[Jacob Bachmeyer]

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