Re: Image files not installed by "make install-html"

[arnold]

Hi.

Manuel Collado <mcollado2011@gmail.com> wrote:

> I also think so. The cure could be to patch doc/Makefile.am following 
> the approach of gawk-xml. I could eventually provide a temptative patch.

That would be most welcome.

Otherwise, I will eventually dive into it and figure it out.

Thanks for the initial report.

Arnold