all: semantics.pdf
%.pdf: %.tex %.bib
latexmk -pdf $<
upload: semantics.pdf
scp semantics.pdf www.tobast:/srv/httpd/tobast.fr/public_html/m2/