diff options
Diffstat (limited to 'gcc/doc/install.texi2html')
| -rwxr-xr-x | gcc/doc/install.texi2html | 20 |
1 files changed, 16 insertions, 4 deletions
diff --git a/gcc/doc/install.texi2html b/gcc/doc/install.texi2html index f735d042524..574d9ebe835 100755 --- a/gcc/doc/install.texi2html +++ b/gcc/doc/install.texi2html @@ -5,12 +5,24 @@ # $SOURCEDIR and $DESTDIR, resp., refer to the directory containing # the texinfo source and the directory to put the HTML version in. # -# (C) 2001, 2003, 2006, 2008 Free Software Foundation +# (C) 2001, 2003, 2006, 2008, 2009 Free Software Foundation # Originally by Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at>, June 2001. # -# This script is Free Software, and it can be copied, distributed and -# modified as defined in the GNU General Public License. A copy of -# its license can be downloaded from http://www.gnu.org/copyleft/gpl.html +# This file is part of GCC. +# +# GCC 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. +# +# GCC is distributed in the hope that it will be useful, but WITHOUT ANY +# WARRANTY; without even the implied warranty of MERCHANTABILITY or +# FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License +# for more details. +# +# You should have received a copy of the GNU General Public License +# along with GCC; see the file COPYING3. If not see +# <http://www.gnu.org/licenses/>. set -e |
