#!/bin/sh
#
rm *.aux *.log *.dvi *.ps *.pdf