#!/bin/sh

rm *.log *.mpx *.dvi tmp.*

