Différences

Ci-dessous, les différences entre deux révisions de la page.

--- installation:apple:macosx_dev [31/12/2020 16:22] – bernadette
+++ installation:apple:macosx_dev [14/10/2023 11:25] (Version actuelle) – [Bugs connus] bernadette
@@ Ligne 33: / Ligne 33: @@
 Il est possible de lancer la compilation avec l'option --gcov
-(Test Coverage Program, permet de voir les lignes atteintes lors de l'execution de ./wims)
+(Test Coverage Program, permet de voir les lignes atteintes lors de l'exécution de ./wims)
 ====== Bugs connus ======
-Il arrive parfois en mode développeur que la compilation soit extrêmement longue à causes d'erreurs ''.../bin/tex..gif: Metafont failed.''. Si c'est votre cas, vous pouvez télécharger les fonts pré-compilées ainsi :
+Il arrive parfois en mode développeur que la compilation soit extrêmement longue à cause d'erreurs ''.../bin/tex..gif: Metafont failed.''. Si c'est votre cas, vous pouvez télécharger les fonts pré-compilées ainsi :
 <code bash>
   wget https://sourcesup.renater.fr/frs/download.php/file/4344/mathfonts.tgz