]> git.wh0rd.org - chrome-ext/music-player-client.git/blobdiff - makedist.sh
images: update screenshot
[chrome-ext/music-player-client.git] / makedist.sh
index 76be81836e843477312d5604cbbe9977fb208d62..661f9f7c881747d61b71f61b909d13fae767b48b 100755 (executable)
@@ -30,7 +30,13 @@ while read line ; do
   [[ ${line} == */* ]] && mkdir -p "${P}/${line%/*}"
   ln "${line}" "${P}/${line}"
 done < <(sed 's:#.*::' manifest.files)
-cp manifest.json "${P}/"
+cp Makefile manifest.files manifest.json "${P}/"
+
+make -C "${P}" -j js-min
+while read line ; do
+       mv "${line}.min" "${line}"
+done < <(find "${P}" -name '*.js')
+rm "${P}"/{manifest.files,Makefile}
 
 sed -i \
   -e '/"version"/s:"[^"]*",:"'${PVR}'",:' \