#!/bin/bash

webext=../../web/ext
extname=jquery-ui-extra

if [ ! -d $webext ] ; then
  mkdir $webext
fi


if [ ! -d $webext/jquery-ui-extra ] ; then
  echo "Creating '$extname' folder in $webext"
  mkdir $webext/$extname
fi

echo ""
echo "+ Installing extension's web files in:"
echo "    $webext/$extname"
echo ""

/bin/cp *.png *.js *.css $webext/$extname/.