Modified tools/copyright to recognize texinfo documents

2013-12-23 00:28:23 -05:00 · 2013-12-23 00:28:23 -05:00 · 4b8139d019
parent 884eb3a03b
commit 4b8139d019
1 changed files with 1 additions and 1 deletions
--- 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) )