diff options
-rw-r--r-- | README.md | 6 | ||||
-rw-r--r-- | makefile | 2 |
2 files changed, 4 insertions, 4 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 |
@@ -18,4 +18,4 @@ clean: | |||
18 | rm -rf * | 18 | rm -rf * |
19 | cp -p -r .backup/* . | 19 | cp -p -r .backup/* . |
20 | rm -rf .backup | 20 | rm -rf .backup |
21 | pandoc -s README.tex -o README.md && sed -i 's/{#.*}//g' README.md | 21 | pandoc --no-tex-ligatures -s README.tex -o README.md && sed -i 's/{#.*}//g' README.md |