updating texinfo.tex

[Ralf Wildenhues]

* Joseph S. Myers wrote on Tue, Mar 18, 2008 at 01:52:17PM CET:
> On Tue, 18 Mar 2008, Gerald Pfeifer wrote:
> > On Mon, 17 Mar 2008, Ralf Wildenhues wrote:
> > > 
> > > So, ok to update codingconventions.html as below, and ok to update
> > > texinfo.tex, 4.4 and 4.3 branch?
> > 
> > I think both the update and the addtion to codingconventions.html are
> > fine.  Any objections, Joseph?
> 
> It seems fine with me; I was already thinking of texinfo.tex as under the 
> rules for importing externally maintained files, even if not explicitly 
> listed.  (Updates to texinfo.tex should of course be tested with "make 
> dvi" or "make pdf".)

Tested both, installed both.

Thanks to both of you!
Ralf