#!/bin/bash
rm -f out-*
# delete local dir copy of style file
STY=nils.sty
if [ -e $STY ]
  then rm -f $STY
fi