texi2dvi call with --Xopt

[Karl Berry]

Hi Patrice,

Running
makeinfo --dvi --debug=5 --Xopt -E line.tex

yields this:
texi2dvi|--dvi|--debug|1|-E

1) The "1" is spurious.

2) the line.tex has been lost.  Evidently the -E was parsed by makeinfo
(requiring an arg) instead of just being the inert option to --Xopt and
passed to texi2dvi (where it takes no arg).

(I was trying this because I rediscovered that what texi2dvi -E does is
call makeinfo -E to get the final input to give to TeX.  Thus the
#line's are eradicated that way after all.  I haven't tried @include
stuff yet.)

Thanks,
k