command pour l'upload vers gitlab

MOSIG_AdvancedBasic2h/Makefile

 PDFLATEX_OPTIONS= -shell-escape
 
+FILES=(git-computer-lab.pdf README.org)
+
 include LaTeX.mk
 
+upload-gitlab: $(FILE)
+	ls /tmp/www-git || ( cd /tmp/ && git clone git@gitlab.ensimag.fr:systemes/www-git.git )
+	cd /tmp/www-git && git pull
+	cp -a avance $(FILES) /tmp/www-unix/public/
+	@printf "Documents copié dans /tmp/www-unix\n Penser à y faire git commit et git push pour les pousser vers gitlab"