texinfo update (Sun Jul 1 18:23:01 EDT 2007)

[Karl Berry]

Index: doc/texinfo.tex
===================================================================
RCS file: /sources/texinfo/texinfo/doc/texinfo.tex,v
retrieving revision 1.243
retrieving revision 1.244
diff -u -r1.243 -r1.244
--- doc/texinfo.tex     1 Jul 2007 19:06:03 -0000       1.243
+++ doc/texinfo.tex     1 Jul 2007 22:21:44 -0000       1.244
@@ -3,7 +3,7 @@
 % Load plain if necessary, i.e., if running under initex.
 \expandafter\ifx\csname fmtname\endcsname\relax\input plain\fi
 %
-\def\texinfoversion{2007-07-01.12}
+\def\texinfoversion{2007-07-01.15}
 %
 % Copyright (C) 1985, 1986, 1988, 1990, 1991, 1992, 1993, 1994, 1995, 2007,
 % 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006,
@@ -11,8 +11,8 @@
 %
 % This texinfo.tex file is free software; you can redistribute it and/or
 % modify it under the terms of the GNU General Public License as
-% published by the Free Software Foundation; either version 3, or (at
-% your option) any later version.
+% published by the Free Software Foundation; either version 3 of the
+% License, or (at your option) any later version.
 %
 % This texinfo.tex file is distributed in the hope that it will be
 % useful, but WITHOUT ANY WARRANTY; without even the implied warranty
P doc/texinfo.tex