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

[Karl Berry]

    actually, texinfo.tex eats all arguments after the 3rd. i ran some
    .texi files through texi2dvi and it didnt complain.

But the functionality would be missing!

    maybe the right thing to do is to add an @-command to cause this to
    happen?

It doesn't seem like a document-authoring decision to me, but rather a
document-rendering decision, ie, the person who runs makeinfo, not the
person who writes the manual.  So an option to makeinfo would be the way
to go, but it already has too many options.

Sigh.

Thanks for all your work, I'll be merging it.