#! /bin/bash


if [ -d homepage ] ; then : ; else  mkdir homepage ; fi; 
cd homepage
cp ../docs/*.gif ../docs/*.html .
cp ../manualmaker/*.html .
mv ../yacas-*.tar.gz .
tar -zcvf ../homepage.tgz *
cd ..
rm -rf homepage/

