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.md | 6 +++++- README.tex | 7 ++++++- 2 files changed, 11 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 8b7ad4f..5b29cb8 100644 --- a/README.md +++ b/README.md @@ -30,9 +30,13 @@ Utilisation de la ligne de commande Veuillez vous référer à [cette page de notre wiki](https://notabug.org/ralessi/courses/wiki/Command_line#utilisation-de-la-ligne-de-commande). +#### Cloner ce dépôt git + + git clone https://notabug.org/ralessi/courses.git + #### Compiler les fichiers - make pdf + make #### Revenir à la version initiale 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