Re: Copying image files with HTML output

Thank you for the example Gavin.  See below for some comments.

On Saturday, August 1st, 2026 at 9:42 PM, Gavin Smith <gavinsmith0123@gmail=
.com> wrote:

> I do not actually know how this is usually done, but I expect it would be
> done with Makefile rules.

That is how I do it now.  It works fine for me as I can simply do
something like 'cp src_dir/*.jpg output_dir/'.  It could be more
complicated in other cases, for instance if there are other jpg files
in there so that a list of all files to be copied would have to be
kept as in the example you provided.  In my case, the image files are
actually generated, so keeping a list of the files expected to be
generated, while quite possible, would have been a bit awkward.

I'm not complaining; just stating a case as to why such a feature
might be useful.

> I do not know if this has been considered before or why images aren't
> copied automatically for HTML output.  (Maybe Patrice will know.)
> The only idea I have is that images could take up a lot of disk storage s=
pace.

This has been in fact discussed before and seemingly deemed desirable.
See:

https://lists.gnu.org/archive/html/help-texinfo/2020-11/msg00181.html

Based on the discussion, the implementation seems to have been
postponed at the time and has likely then slipped through the cracks.

Dimitris