PROJECT = spec

protocol:
	@pdflatex $(PROJECT)
	@pdflatex $(PROJECT)

clean:
	-rm -f *.aux *.log *.dvi *.toc *.out *.pdf