From: Eric Blake Date: Fri, 14 Mar 2008 14:46:18 +0000 (-0600) Subject: Bump copyright year in files generated by gnulib-tool. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7307a7b63205ee9bf5791e5f7ed59be6a40cfc32;p=pspp Bump copyright year in files generated by gnulib-tool. * gnulib-tool (func_emit_copyright_notice): Extract copyright from gnulib-tool, rather than hard-coding it. Signed-off-by: Eric Blake --- diff --git a/ChangeLog b/ChangeLog index 214c64c5ed..a58f637856 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,9 @@ 2008-03-14 Eric Blake + Bump copyright year in files generated by gnulib-tool. + * gnulib-tool (func_emit_copyright_notice): Extract copyright from + gnulib-tool, rather than hard-coding it. + Fix 'gnulib-tool --version' output to work with git. * gnulib-tool (func_gnulib_dir): New function, extracted from... (startup): ...here. diff --git a/gnulib-tool b/gnulib-tool index 523812b9f5..e7dbe53dbc 100755 --- a/gnulib-tool +++ b/gnulib-tool @@ -211,7 +211,10 @@ Written by" "Bruno Haible" "and" "Simon Josefsson" # outputs to stdout a header for a generated file. func_emit_copyright_notice () { - echo "# Copyright (C) 2004-2007 Free Software Foundation, Inc." + sed -n '/Copyright/ { + p + q + }' < "$self_abspathname" echo "#" echo "# This file is free software, distributed under the terms of the GNU" echo "# General Public License. As a special exception to the GNU General"