#!/usr/local/bin/ae
dest=/home/www/lib/html/doc/metad
src=metad
echo "Publishing $src.texi into $dest..."
rm $dest/*
cp $src.texi $dest
cd $dest || exit 1
texi2html -menu -split_chapter $src.texi
texi2dvi $src.texi
dvips $src.dvi > $src.ps
ln -s ${src}_toc.html index.html
chmod a+r *