#!/bin/bash if [ ! -d ../../web/ext ] ; then mkdir ../../web/ext fi for ed in diy-audio-player js-dsp js-mad sound-manager2 ; do echo "Installing '$ed'" /bin/cp -r $ed ../../web/ext/. done