texinfo update (Mon Jul 23 13:23:01 EDT 2007)

[Karl Berry]

Index: ChangeLog
===================================================================
RCS file: /sources/texinfo/texinfo/ChangeLog,v
retrieving revision 1.737
retrieving revision 1.738
diff -u -r1.737 -r1.738
--- ChangeLog   23 Jul 2007 13:26:25 -0000      1.737
+++ ChangeLog   23 Jul 2007 17:15:33 -0000      1.738
@@ -1,3 +1,8 @@
+2007-07-23  Karl Berry  <address@hidden>
+
+       * doc/texinfo.tex (license notice): punctuation changes to
+       match recommendation.  From Paul Eggert.
+
 2007-07-23  Akim Demaille  <address@hidden>
 
        * util/texi2dvi: Update DVIPSHEADERS so that dvips finds its
Index: doc/texinfo.tex
===================================================================
RCS file: /sources/texinfo/texinfo/doc/texinfo.tex,v
retrieving revision 1.252
retrieving revision 1.253
diff -u -r1.252 -r1.253
--- doc/texinfo.tex     15 Jul 2007 11:51:12 -0000      1.252
+++ doc/texinfo.tex     23 Jul 2007 17:15:33 -0000      1.253
@@ -3,15 +3,15 @@
 % Load plain if necessary, i.e., if running under initex.
 \expandafter\ifx\csname fmtname\endcsname\relax\input plain\fi
 %
-\def\texinfoversion{2007-07-15.14}
+\def\texinfoversion{2007-07-23.10}
 %
 % Copyright (C) 1985, 1986, 1988, 1990, 1991, 1992, 1993, 1994, 1995, 2007,
 % 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006,
 % 2007 Free Software Foundation, Inc.
 %
-% This texinfo.tex file is free software; you can redistribute it and/or
+% 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 of the
+% 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
P ChangeLog
P doc/texinfo.tex