* Makefile (update-copyright): Adjust to 2016-11-23 change
to config/srclist-update, which changed the format of srclist.txt.
+2018-01-01 Paul Eggert <eggert@cs.ucla.edu>
+
+ 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 <eggert@cs.ucla.edu>
chdir-safer: remove this module
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"); \