#!/bin/sh -
#
tex_files=`echo *.tex`
if [ "x$tex_files" = 'x*.tex' ]; then
	tex_files=""
fi

dvi_files=""

for tex_file in $tex_files ; do
	basefile=`basename $tex_file .tex`
	dvi_files="$dvi_files $basefile.dvi"
done

rm -f *.aux *.log *.out *.toc $dvi_files