* doc/misc/texinfo.tex: Revert unwanted copyright change.

diff --git a/doc/misc/texinfo.tex b/doc/misc/texinfo.tex
index 0ad0e85a0050c3483e5aa202d416a5fadceb7841..f140bba94b8ddb633f72e90a31d06525199c85ed 100644 (file)
--- a/doc/misc/texinfo.tex
+++ b/doc/misc/texinfo.tex
@@ -5,7 +5,10 @@
 %
 \def\texinfoversion{2015-12-20.12}
 %
-% Copyright 1985-1986, 1988, 1990-2016 Free Software Foundation, Inc.
+% Copyright 1985, 1986, 1988, 1990, 1991, 1992, 1993, 1994, 1995,
+% 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006,
+% 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015
+% Free Software Foundation, Inc.
 %
 % 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