>From 611f12013b42466749cf00016e6e27b73d3a224c Mon Sep 17 00:00:00 2001
From: Paul Eggert <address@hidden>
Date: Sun, 31 Dec 2017 16:43:46 -0800
Subject: [PATCH] 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.
---
 ChangeLog | 6 ++++++
 Makefile  | 2 +-
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 48c02ca..a2470d4 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2018-01-01  Paul Eggert  <address@hidden>
+
+	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  <address@hidden>
 
 	chdir-safer: remove this module
diff --git a/Makefile b/Makefile
index 3056d0d..e9608c0 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");			\
-- 
2.7.4