aboutsummaryrefslogtreecommitdiff
path: root/README.tex
diff options
context:
space:
mode:
Diffstat (limited to 'README.tex')
-rw-r--r--README.tex7
1 files changed, 6 insertions, 1 deletions
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 à
31\href{https://notabug.org/ralessi/courses/wiki/Command_line#utilisation-de-la-ligne-de-commande}{cette 31\href{https://notabug.org/ralessi/courses/wiki/Command_line#utilisation-de-la-ligne-de-commande}{cette
32 page de notre wiki}. 32 page de notre wiki}.
33 33
34\paragraph{Cloner ce dépôt git}
35\begin{verbatim}
36git clone https://notabug.org/ralessi/courses.git
37\end{verbatim}
38
34\paragraph{Compiler les fichiers} 39\paragraph{Compiler les fichiers}
35\begin{verbatim} 40\begin{verbatim}
36make pdf 41make
37\end{verbatim} 42\end{verbatim}
38 43
39\paragraph{Revenir à la version initiale} 44\paragraph{Revenir à la version initiale}