all: semantics.pdf

%.pdf: %.tex %.bib
	latexmk -pdf $<

upload: semantics.pdf
	scp semantics.pdf www.tobast:/srv/httpd/tobast.fr/public_html/m2/