SHELL=/bin/sh
all:
source:
install:
clean:
	/bin/rm -f *.dvi *.log *.aux