#!/bin/bash

php contact.php > public/contact.html
php downloads.php > public/downloads.html
php features.php > public/features.html
php index.php > public/index.html
php platforms.php > public/platforms.html

cp -r img public/
cp -r css public/
cp -r js public/

echo "Done."