diff options
Diffstat (limited to '')
| -rw-r--r-- | scripts/texinfo.tex | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/scripts/texinfo.tex b/scripts/texinfo.tex index d14477484..5063065f2 100644 --- a/scripts/texinfo.tex +++ b/scripts/texinfo.tex @@ -11,7 +11,7 @@ % % 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 2, or (at +% published by the Free Software Foundation; either version 3, or (at % your option) any later version. % % This texinfo.tex file is distributed in the hope that it will be @@ -20,9 +20,8 @@ % General Public License for more details. % % You should have received a copy of the GNU General Public License -% along with this texinfo.tex file; see the file COPYING. If not, write -% to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, -% Boston, MA 02110-1301, USA. +% along with this texinfo.tex file; see the file COPYING. If not, +% see <http://www.gnu.org/licenses/>. % % As a special exception, when this file is read by TeX when processing % a Texinfo source document, you may use the result without |