diff --git a/Makefile b/Makefile index fe85a05..83c5414 100644 --- a/Makefile +++ b/Makefile @@ -4,6 +4,9 @@ CP = cp -rv PERSO = ~/Perso UNIV = ~/Univ + +.PHONY: sync + main: sync: