# !/bin/bash
#  del

#   "del" removes all the *.log, *.dvi, *.aux files from the current
#             directory
#   To remove---WHEN YOU ARE CERTAIN!!--- all the *~  (backup) files from 
#   the current directory, use the shell function "bak"

rm -f *.log
rm -f *.dvi
rm -f *.aux