Move data file maintenance to GitHub

This commit is contained in:
Reinhard Pointner 2016-02-24 19:38:03 +00:00
parent 385c192757
commit 4c1bc388aa
1 changed files with 1 additions and 1 deletions

View File

@ -22,7 +22,7 @@ def dir_data = "${dir_website}/data"
def output = new File("${dir_data}/${it}") def output = new File("${dir_data}/${it}")
def set = new TreeSet(String.CASE_INSENSITIVE_ORDER) 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() set += Pattern.compile(it).pattern()
} }