|
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
[Prev in Thread] | Current Thread | [Next in Thread] |