diff options
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -7,7 +7,7 @@ wiki](https://notabug.org/ralessi/courses/wiki). | |||
7 | Compilation | 7 | Compilation |
8 | =========== | 8 | =========== |
9 | 9 | ||
10 | Voici la liste des éléments logiciels qu’il faut installer: | 10 | Voici la liste des éléments logiciels qu'il faut installer: |
11 | 11 | ||
12 | 1. [GNU Make](https://www.gnu.org/software/make/) | 12 | 1. [GNU Make](https://www.gnu.org/software/make/) |
13 | 13 | ||
@@ -24,8 +24,8 @@ Voici la liste des éléments logiciels qu’il faut installer: | |||
24 | 24 | ||
25 | 3. Windows: [proTeXt](http://tug.org/protext/) | 25 | 3. Windows: [proTeXt](http://tug.org/protext/) |
26 | 26 | ||
27 | <span style="font-variant:small-caps;">Rem.</span> L’installation | 27 | <span style="font-variant:small-caps;">Rem.</span> L'installation |
28 | doit être *complète*: il faut donc choisir l’option *Set | 28 | doit être *complète*: il faut donc choisir l'option *Set |
29 | installation scheme: **scheme-full*** | 29 | installation scheme: **scheme-full*** |
30 | 30 | ||
31 | Utilisation de la ligne de commande | 31 | Utilisation de la ligne de commande |