.PHONY: all paper verify clean

all: paper verify

paper:
	latexmk -pdf -interaction=nonstopmode -halt-on-error guth_maynard_t23_extension_final.tex

verify:
	python verify_algebra.py
	python verify_package.py

clean:
	latexmk -c guth_maynard_t23_extension_final.tex