updated READMEHEADmaster

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 @@
-Comment utiliser ce dépôt git
-=============================
+# Comment utiliser ce dépôt git
 
 Veuillez vous référer à [cette page de notre
 wiki](https://notabug.org/ralessi/courses/wiki).
 
-Compilation
-===========
+# Compilation
 
 Voici la liste des éléments logiciels qu'il faut installer:
 
@@ -34,8 +32,7 @@ Voici la liste des éléments logiciels qu'il faut installer:
     **Rem. 2** L'installation doit aussi être *mise à jour* car certains
     fichiers utilisent des *packages* très récents.
 
-Utilisation de la ligne de commande
------------------------------------
+## 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).
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 à
 
 \paragraph{Cloner ce dépôt git}
 \begin{verbatim}
-git clone https://gitlab.com/ralessi/courses.git
+git clone https://git.robertalessi.net/courses
 \end{verbatim}
 
 \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>
 href="https://notabug.org/ralessi/courses/wiki/Command_line#utilisation-de-la-ligne-de-commande">cette
 page de notre wiki</a>.</p>
 <h4 id="cloner-ce-dépôt-git">Cloner ce dépôt git</h4>
-<pre><code>git clone https://gitlab.com/ralessi/courses.git</code></pre>
+<pre><code>git clone https://git.robertalessi.net/courses</code></pre>
 <h4 id="compiler-les-fichiers">Compiler les fichiers</h4>
 <pre><code>make</code></pre>
 <h4 id="revenir-à-la-version-initiale">Revenir à la version