#!/bin/sh
if [ $# -lt 1 ]; then
  echo usage: $0 filename
  exit 1
fi
if [ ! -f $1 ]; then
  echo $1 does not exist
  exit 1
fi
dest=`basename $1 .mm`.ps
ddest=Chapter/complete/ps/$dest
if [ ! -f $ddest ]; then
  touch -t 7001010000 $ddest
fi;
while :; do 
  sleep 1
  if [ $1 -nt $ddest ]; then
    ls -l $1 $ddest
     echo make $dest
     make $dest
  fi
done
