#!/bin/sh

libdir=$(dirname $0)
. $libdir/config 

if [ $# = 1 ]; then
  cdn=$1
fi

cd "$lay" && (
rm -f $cdn.aux
rm -f $cdn.dvi
rm -f $cdn.ps
rm -f $cdn.log
rm -f $cdn.latex
)

