diff --git a/Makefile b/Makefile index b0c475e536b018d6d283f57ad13fcedf5cd57cb5..da3e8d8e015172eacd16b591b8fd0311a06d6e61 100644 --- a/Makefile +++ b/Makefile @@ -48,6 +48,11 @@ deploy: all mkdir -p phys cp cours.html phys/index.html cp cours.pdf phys/cours.pdf + make -C exercices + mkdir -p phys/exercices + cp exercices/*.html phys/exercices + cp exercices/*.pdf phys/exercices clean: rm -f *.html *.pdf *.markdown + rm -rf phys