diff --git a/build_translators_zip b/build_translators_zip deleted file mode 100755 index 9dc0abf82..000000000 --- a/build_translators_zip +++ /dev/null @@ -1,20 +0,0 @@ -#!/bin/bash -if [ -f translators.zip ]; then - rm translators.zip -fi -if [ ! -d output ]; then - mkdir output; -fi - -counter=0; -for file in *.js; do - newfile=$counter.js; - cp "$file" output/$newfile; - counter=$(($counter+1)); -done; - -cd output -zip ../translators.zip * -cd .. -rm -rf output -mv translators.zip ..