From 0517db94067b9bcda06260c7152dc5fa51a2a9b4 Mon Sep 17 00:00:00 2001
From: Robert Alessi
Date: Sun, 29 Oct 2023 16:01:54 +0100
Subject: updated README
---
README.md | 9 +++------
README.tex | 2 +-
about.html | 2 +-
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
href="https://notabug.org/ralessi/courses/wiki/Command_line#utilisation-de-la-ligne-de-commande">cette
page de notre wiki.
Cloner ce dépôt git
-git clone https://gitlab.com/ralessi/courses.git
+git clone https://git.robertalessi.net/courses
Compiler les fichiers
make
Revenir à la version
--
cgit v1.2.3