Makefile

FILES := $(wildcard *.tex) $(wildcard tikz/*.tex) $(wildcard *.sty)

tweetverif.pdf: FORCE $(FILES) collection.bib
	./latexrun.py tweetverif.tex

depend:
		@echo $(FILES)

.PHONY: clean FORCE

clean:
	@echo cleaning...
	@rm -fr latex.out 2> /dev/null || true
	@rm *.pdf 2> /dev/null || true
	@rm *.aux 2> /dev/null || true
	@rm *.bbl 2> /dev/null || true
	@rm *.blg 2> /dev/null || true
	@rm *.brf 2> /dev/null || true
	@rm *.dvi 2> /dev/null || true
	@rm *.fdb_latexmk 2> /dev/null || true
	@rm *.fls 2> /dev/null || true
	@rm *.log 2> /dev/null || true
	@rm *.out 2> /dev/null || true
	@rm */*.aux 2> /dev/null || true

spell:
	aspell -t -c tweetverif.tex
	aspell -t -c intro.tex
	aspell -t -c preliminaries.tex
	aspell -t -c lowlevel.tex
	aspell -t -c highlevel.tex
	aspell -t -c conclusion.tex
	aspell -t -c tweetnacl.tex