# !/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