Re: Images in Texinfo

[Karl Berry]

        and with few document formatting options.

David, what options do you have in mind?

    However, perhaps texi2dvi could find the @image commands and generate
    .eps files from the .png or .jpg files if they don't already exist.
    This way it would suffice to provide an image in just one format.

    Karl, do you think that is feasible?

Sure, in fact it's been on the TODO list for ages.  (Except I think it's
both better and easier to do it in makeinfo than texi2dvi.)

Since running the conversion programs by hand (more likely via make)
does not seem like a big deal to me, I (obviously) have not made it a
high priority.

Thanks,
k