diff options
Diffstat (limited to 'doc/misc')
| -rw-r--r-- | doc/misc/texinfo.tex | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/misc/texinfo.tex b/doc/misc/texinfo.tex index 954dceb6427..c8913ab918e 100644 --- a/doc/misc/texinfo.tex +++ b/doc/misc/texinfo.tex | |||
| @@ -5,7 +5,10 @@ | |||
| 5 | % | 5 | % |
| 6 | \def\texinfoversion{2016-09-18.18} | 6 | \def\texinfoversion{2016-09-18.18} |
| 7 | % | 7 | % |
| 8 | % Copyright 1985-1986, 1988, 1990-2017 Free Software Foundation, Inc. | 8 | % Copyright 1985, 1986, 1988, 1990, 1991, 1992, 1993, 1994, 1995, |
| 9 | % 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, | ||
| 10 | % 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016 | ||
| 11 | % Free Software Foundation, Inc. | ||
| 9 | % | 12 | % |
| 10 | % This texinfo.tex file is free software: you can redistribute it and/or | 13 | % This texinfo.tex file is free software: you can redistribute it and/or |
| 11 | % modify it under the terms of the GNU General Public License as | 14 | % modify it under the terms of the GNU General Public License as |