diff --git a/Makefile b/Makefile index 084b5d8265878d21ccf17ea530d3c69b33fcb819..ae9937b46fa6aea3ef505ce726bbe491f861413c 100644 --- a/Makefile +++ b/Makefile @@ -34,6 +34,7 @@ all: $(HTML) $(PDF) deploy: all mkdir -p mti cp cours.html mti/index.html + cp cours.pdf mti/cours.pdf clean: rm -rf *.html *.pdf