diff options
-rw-r--r-- | ChangeLog | 6 | ||||
-rw-r--r-- | Makefile | 2 |
2 files changed, 7 insertions, 1 deletions
@@ -1,3 +1,9 @@ +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 @@ -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"); \ |