Re: texinfo 4.0: flushleft, flushright, image, short contents

[Karl Berry]

    hmm. is there ever a need for "alternate text" in a tex/dvi/ps
    document?

Not alternate text, I was thinking of the filename extension thing.
But I guess tex always uses eps or pdf, so skip it, I was confused.

    would you like me to submit a patch to add this behavior as a command
    line option?

Yes, thanks.