diff --git a/tools/copyright b/tools/copyright index 24cdec0..22e7e9a 100755 --- a/tools/copyright +++ b/tools/copyright @@ -51,7 +51,7 @@ shopt -s extglob || { } # we will be updating all files that contain this line -ident='This file is part of GNU ease.js$' +ident='This \(file\|document\) is part of \(the \)\?GNU ease.js' ignorepath='.git|build|webroot|node_modules' files=$( grep -rl "$ident" ../!($ignorepath) )