From 7f70cfd075332ab8e223917da2b7d7f0c5769460 Mon Sep 17 00:00:00 2001 From: Marc Mezzarobba Date: Sun, 4 Oct 2009 18:36:00 +0200 Subject: [PATCH] Correction commentaire Makefile. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 65f2487..7fd0374 100644 --- a/Makefile +++ b/Makefile @@ -18,7 +18,7 @@ rebuild: # C'est un hook déclenché par git push qui fait l'installation du site # web. Ici, on essaie juste de voir si on est en local sur clipper # (auquel cas on n'a peut-être pas le droit d'écrire chez tuteurs, mais -# su-tuteurs nous le donnera). Sinon c'est probablement qu'on a cloné +# sg-tuteurs nous le donnera). Sinon c'est probablement qu'on a cloné # par ssh (de chez soi ou de clipper), et on devrait savoir pousser. install: