#!/bin/bash
rm -rf mini
mkdir mini
cp plus.png trash.png mini/
MINI='../minifier'
$MINI/minimize_html.sh listed.html > mini/listed.html &&
$MINI/minimize_js.sh ../JSgui/ygwm.js listed.js > mini/minilisted.js &&
$MINI/minimize_css.sh ../JSgui/ygwm.css listed.css > mini/minilisted.css