bug-gawk
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: Manuel Collado
Subject: Re: Image files not installed by "make install-html"
Date: Tue, 21 Feb 2023 18:10:45 +0100
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.7.1

Hi, Andy.

El 21/2/23 a las 16:27, Andrew J. Schorr escribió:
Hi,

On Tue, Feb 21, 2023 at 03:00:32PM +0100, Manuel Collado wrote:
It seems that "make install-html" fails to copy the necessary image
files (*.png) to the target location. Only the *.html files get
installed.

Can anybody confirm that this is a real omission, and not a mistake
on my side?

I believe install-html installs these files:

HTMLS = gawk.html gawkinet.html gawkworkflow.html pm-gawk.html

Yes. Agreed.


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.

Regards.
--
Manuel Collado - http://mcollado.z15.es



reply via email to

[Prev in Thread] Current Thread [Next in Thread]