From 4c1bc388aaa1e6180866308b149ab8ef9c67b3ea Mon Sep 17 00:00:00 2001 From: Reinhard Pointner Date: Wed, 24 Feb 2016 19:38:03 +0000 Subject: [PATCH] Move data file maintenance to GitHub --- build-data/BuildData.groovy | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build-data/BuildData.groovy b/build-data/BuildData.groovy index 1c415755..3453ebab 100755 --- a/build-data/BuildData.groovy +++ b/build-data/BuildData.groovy @@ -22,7 +22,7 @@ def dir_data = "${dir_website}/data" def output = new File("${dir_data}/${it}") def set = new TreeSet(String.CASE_INSENSITIVE_ORDER) - input.getText('UTF-8').split(/\R/)*.trim().findAll( it.length() > 0 ).each{ + input.getText('UTF-8').split(/\R/)*.trim().findAll{ it.length() > 0 }.each{ set += Pattern.compile(it).pattern() }