Re: @image for pdf and html

[Gavin Smith]

On Tue, Nov 24, 2020 at 10:11:09PM +0100, Christopher Dimech wrote:
> It has been figured that we cannot use the same file for both
> pdf/dvi output and html output.  Because if the file has too many
> pixels, the image will be too big for html.  We could end up with
> many calls to image with different files using @iftex and @ifhtml.

You could equally say it's too big for pdf, if the pdf is going to
put online.  It's the same image either way.

I don't see anything wrong with using conditionals for different
output formats to specify different image files, if that is what
is desired.