From d26151de2b8a017ac82afa44c6b080754dd02b4a Mon Sep 17 00:00:00 2001 From: Robert Alessi Date: Wed, 12 Sep 2018 12:03:11 +0200 Subject: updated makefile --- README.tex | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'README.tex') diff --git a/README.tex b/README.tex index b9a478e..474780c 100644 --- a/README.tex +++ b/README.tex @@ -31,9 +31,14 @@ Veuillez vous référer à \href{https://notabug.org/ralessi/courses/wiki/Command_line#utilisation-de-la-ligne-de-commande}{cette page de notre wiki}. +\paragraph{Cloner ce dépôt git} +\begin{verbatim} +git clone https://notabug.org/ralessi/courses.git +\end{verbatim} + \paragraph{Compiler les fichiers} \begin{verbatim} -make pdf +make \end{verbatim} \paragraph{Revenir à la version initiale} -- cgit v1.2.3