X-Git-Url: https://git.wh0rd.org/?p=chrome-ext%2Fmusic-player-client.git;a=blobdiff_plain;f=makedist.sh;h=661f9f7c881747d61b71f61b909d13fae767b48b;hp=76be81836e843477312d5604cbbe9977fb208d62;hb=ee26ebe43d89016c3014e030041e363e337f4ff5;hpb=50dafc4c60cfd4183bdedcd86fcd9b6b932c6a0b

diff --git a/makedist.sh b/makedist.sh
index 76be818..661f9f7 100755
--- a/makedist.sh
+++ b/makedist.sh
@@ -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}'",:' \