Copying image files for HTML output

[Gavin Smith]

On Thu, Nov 19, 2020 at 11:10:55PM +0100, Patrice Dumas wrote:
> I think that if the path does not starts with . or .. or is an absolute
> path, it would make sense
> 1) to search in include directories (I think that the current directory 
>   is always in front of of the search path)
> 2) to check if the directories and image file exist in the destination 
>   directory and if not copy the file
> 
> For point 2), there could be a customization variable to prevent the
> copy, that would be off in the default case, but can be turned on for
> the users who want backward compatibility or do something else by
> themselves, for instance use links.

I think it's a good idea but I think it should be left until after the
next release to implement, as I suspect there will be enough issues from
other changes to deal with.