# Makefile
#
# Set the filename variable (no extension) and things Will Just Work

filename=16831_lectureXX.UserID

file_tex=$(filename).tex
file_dvi=$(filename).dvi
file_ps=$(filename).ps

all pdf: dvi
	dvips -Ppdf $(file_dvi)
	ps2pdf $(file_ps)

dvi:
	latex $(file_tex)
	latex $(file_tex)
# Do the second latex command to update references

clean:
	@rm -f $(file_dvi) $(file_ps) $(filename).aux \
		$(filename).log *~