aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--README.md9
-rw-r--r--README.tex2
-rw-r--r--about.html2
3 files changed, 5 insertions, 8 deletions
diff --git a/README.md b/README.md
index 32a302b..24611a8 100644
--- a/README.md
+++ b/README.md
@@ -1,11 +1,9 @@
1Comment utiliser ce dépôt git 1# Comment utiliser ce dépôt git
2=============================
3 2
4Veuillez vous référer à [cette page de notre 3Veuillez vous référer à [cette page de notre
5wiki](https://notabug.org/ralessi/courses/wiki). 4wiki](https://notabug.org/ralessi/courses/wiki).
6 5
7Compilation 6# Compilation
8===========
9 7
10Voici la liste des éléments logiciels qu'il faut installer: 8Voici la liste des éléments logiciels qu'il faut installer:
11 9
@@ -34,8 +32,7 @@ Voici la liste des éléments logiciels qu'il faut installer:
34 **Rem. 2** L'installation doit aussi être *mise à jour* car certains 32 **Rem. 2** L'installation doit aussi être *mise à jour* car certains
35 fichiers utilisent des *packages* très récents. 33 fichiers utilisent des *packages* très récents.
36 34
37Utilisation de la ligne de commande 35## Utilisation de la ligne de commande
38-----------------------------------
39 36
40Veuillez vous référer à [cette page de notre 37Veuillez vous référer à [cette page de notre
41wiki](https://notabug.org/ralessi/courses/wiki/Command_line#utilisation-de-la-ligne-de-commande). 38wiki](https://notabug.org/ralessi/courses/wiki/Command_line#utilisation-de-la-ligne-de-commande).
diff --git a/README.tex b/README.tex
index 3fea2e5..0a7ef24 100644
--- a/README.tex
+++ b/README.tex
@@ -41,7 +41,7 @@ Veuillez vous référer à
41 41
42\paragraph{Cloner ce dépôt git} 42\paragraph{Cloner ce dépôt git}
43\begin{verbatim} 43\begin{verbatim}
44git clone https://gitlab.com/ralessi/courses.git 44git clone https://git.robertalessi.net/courses
45\end{verbatim} 45\end{verbatim}
46 46
47\paragraph{Compiler les fichiers} 47\paragraph{Compiler les fichiers}
diff --git a/about.html b/about.html
index 2639993..bfea0b6 100644
--- a/about.html
+++ b/about.html
@@ -34,7 +34,7 @@ commande</h2>
34href="https://notabug.org/ralessi/courses/wiki/Command_line#utilisation-de-la-ligne-de-commande">cette 34href="https://notabug.org/ralessi/courses/wiki/Command_line#utilisation-de-la-ligne-de-commande">cette
35page de notre wiki</a>.</p> 35page de notre wiki</a>.</p>
36<h4 id="cloner-ce-dépôt-git">Cloner ce dépôt git</h4> 36<h4 id="cloner-ce-dépôt-git">Cloner ce dépôt git</h4>
37<pre><code>git clone https://gitlab.com/ralessi/courses.git</code></pre> 37<pre><code>git clone https://git.robertalessi.net/courses</code></pre>
38<h4 id="compiler-les-fichiers">Compiler les fichiers</h4> 38<h4 id="compiler-les-fichiers">Compiler les fichiers</h4>
39<pre><code>make</code></pre> 39<pre><code>make</code></pre>
40<h4 id="revenir-à-la-version-initiale">Revenir à la version 40<h4 id="revenir-à-la-version-initiale">Revenir à la version