diff --git a/zip.mk b/zip.mk new file mode 100644 index 0000000..50a3a5f --- /dev/null +++ b/zip.mk @@ -0,0 +1,21 @@ +ZIP = zip -r +RM = rm + +IGNORE = "*/build/*" "*/.gradle/*" "*/.idea/*" "*/local.properties" "*.pdf" + +all: main + +main: help + +help: + @echo "make archive" + @echo " -> Compresse tout les TP" + @echo "" + @echo "make archive10" + @echo " -> Compresse le TP 10" + +archive%: + $(ZIP) "TP$(*).zip" "TP$(*)" -x $(IGNORE) + +archive: + $(ZIP) "TPs.zip" TP* -x $(IGNORE)