docker: header/header.tex header/titlepage.tex ex.md
	docker run -v ${PWD}:/host pandoc

rendu: header/header.tex header/titlepage.tex ex.md
	pandoc -S -t latex \
		ex.md \
		--include-in-header header/header.tex \
		-B header/titlepage.tex \
		-o ex.pdf

clean: 
	rm -f ex.{aux,nav,log,out,tex,toc,snm}

.PHONY: clean