#!/bin/sh

WTD="$@"
if [ "x$WTD" = x ]; then
  WTD="*.dvi"
fi
echo $WTD
for f in $WTD
do
  g=`basename $f .dvi`
  dvips $f -o
  /bin/cp -f $g.ps $HOME/public_html/luminy/
  gzip $g.ps
  /bin/mv -f $g.ps.gz $HOME/public_html/luminy/
done
