SOURCE=tamarin-manual.tex
TEX=xelatex -interaction nonstopmode

pdf: $(SOURCE)
	$(TEX) $(SOURCE)
	$(TEX) $(SOURCE)
