[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Image files not installed by "make install-html"
|
From: |
Andrew J. Schorr |
|
Subject: |
Re: Image files not installed by "make install-html" |
|
Date: |
Tue, 21 Feb 2023 13:13:49 -0500 |
|
User-agent: |
Mutt/1.5.21 (2010-09-15) |
Hi Manuel,
On Tue, Feb 21, 2023 at 06:10:45PM +0100, Manuel Collado wrote:
> >So I don't think it's a mistake on your side. I don't know how
> >to fix this. As far as I can tell, that "HTMLS" list is generated
> >by automake...
>
> 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 sounds like the right approach.
Regards,
Andy