From 4b8139d019462250777c64b305c2ff494c046835 Mon Sep 17 00:00:00 2001 From: Mike Gerwitz Date: Mon, 23 Dec 2013 00:28:23 -0500 Subject: [PATCH] Modified tools/copyright to recognize texinfo documents --- tools/copyright | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) )