Re: PNG Images in PDF.

[karl]

    Why is ".pdf" appended ?

Because the person who wrote the pdf code was under the impression that
pdf files should use pdf images.  I guess that isn't necessarily the case.

I'll change the code to look for foo.pdf first, and if that file doesn't
exist, to look for foo.png, then foo.jpg, then the original foo.  Or
something like that.  It's not desirable to have @image{foo.png} in the
Texinfo source file because then it can't be translated right for all
formats.

Thanks,
k