Re: "texi2dvi -l Texinfo" and "texi2dvi -l LaTeX" do not work

[Karl Berry]

Ben, Patrice,

Thanks much for the hints.  At least for the time being, I think I'll
continue to wait for the distro maintainers to triage and send upstream.
Like all of us, I get enough mail already :).

k