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