aboutsummaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
Diffstat (limited to 'README.md')
-rw-r--r--README.md9
1 files changed, 3 insertions, 6 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).