From: Paul Eggert Date: Mon, 1 Jan 2018 00:43:46 +0000 (-0800) Subject: maint: fix 'make update-copyright' X-Git-Tag: v1.0~5782 X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=611f12013b42466749cf00016e6e27b73d3a224c;p=gnulib.git maint: fix 'make update-copyright' * Makefile (update-copyright): Adjust to 2016-11-23 change to config/srclist-update, which changed the format of srclist.txt. --- diff --git a/ChangeLog b/ChangeLog index 48c02ca1a6..a2470d4cbd 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +2018-01-01 Paul Eggert + + maint: fix 'make update-copyright' + * Makefile (update-copyright): Adjust to 2016-11-23 change + to config/srclist-update, which changed the format of srclist.txt. + 2017-12-30 Paul Eggert chdir-safer: remove this module diff --git a/Makefile b/Makefile index 3056d0d416..e9608c0dc7 100644 --- a/Makefile +++ b/Makefile @@ -160,7 +160,7 @@ MODULES.html: MODULES.html.sh update-copyright: exempt=$$(mktemp); \ grep -v '^#' config/srclist.txt|grep -v '^$$' \ - | while read src dst; do \ + | while read top src dst options; do \ test -f "$$dst" && { echo "$$dst"; continue; }; \ test -d "$$dst" || continue; \ echo "$$dst"/$$(basename "$$src"); \