Re: [patch, docs] Update gcc/doc/include/texinfo.tex

[Brooks Moses <brooks dot moses at codesourcery dot com>]

Joseph S. Myers wrote:
> On Mon, 4 Dec 2006, Brooks Moses wrote:
> > Rather than including a 46kb patch file, I suspect it's more appropriate to
> > just say that the updated file I am proposing to commit is the one at
> > http://savannah.gnu.org/cgi-bin/viewcvs/gnulib/gnulib/build-aux/texinfo.tex?rev=HEAD
> >
> > Ok for trunk?
>
> You don't need approval for this.  See "Importing files maintained outside 
> the tree from their official versions." under "Free for all" in 
> svnwrite.html.

Ah, right; thanks.  Committed to trunk.

(Hmm.  Should I commit it to 4.2, too?  I don't see any documentation on 
policies for keeping such things up-to-date in the release branches.)

- Brooks