diff options
Diffstat (limited to 'gas/doc/Makefile.in')
| -rw-r--r-- | gas/doc/Makefile.in | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/gas/doc/Makefile.in b/gas/doc/Makefile.in index 5149e02..d075e81 100644 --- a/gas/doc/Makefile.in +++ b/gas/doc/Makefile.in @@ -14,6 +14,24 @@ # PARTICULAR PURPOSE. @SET_MAKE@ + +# +# Copyright 2012 Free Software Foundation +# +# This 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 License, or +# (at your option) any later version. +# +# This program 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 this program; see the file COPYING3. If not see +# <http://www.gnu.org/licenses/>. +# VPATH = @srcdir@ pkgdatadir = $(datadir)/@PACKAGE@ pkgincludedir = $(includedir)/@PACKAGE@ |