>     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!

hmm. is there ever a need for "alternate text" in a tex/dvi/ps
document? (tex, i thought, can "always" render the .eps file whereas
it is a standard feature that some html browsers cannot render
graphics.) and can you include anything other than an .eps file in a
tex document "as is"?

> 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.

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

Reply via email to