diff --git a/compilation-gcc.txt b/compilation-gcc.txt
index 604fc1c..fb77a63 100644
--- a/compilation-gcc.txt
+++ b/compilation-gcc.txt
@@ -32,14 +32,15 @@ La manipulation peut échouer à cause d'erreurs de compilation imprévisibles e
 
 Bien sûr `gcc` est un logiciel complexe qui s'appuie sur différentes bibliothèques pour faire son boulot : il y a donc un certain nombre de dépendances à installer. Les noms de paquets ci-dessous sont pour Debian et ses dérivés (Ubuntu, Mint, ElementaryOS...), à utiliser avec `apt`. Si vous avez une autre distribution vous saurez vous débrouiller. :)
 
-`  mpfr  (libmpfr-dev)  `: flottants à précision variable
-`  mpc   (libmpc-dev)   `: complexes à précision variable
-`  gmp   (libgmp-dev)   `: arithmétique à multi-précision
-`  png   (libpng-dev)   `: manipulation d'images
-`  ppl   (libppl-dev)   `: polyèdres Parma (optimisation magique)
-`  flex  (flex)         `: générateur d'analyseurs lexicaux
-`  g++   (g++)          `: compilateur C++
-`  git   (git)          `: gestionnaire de versions
+`  mpfr     (libmpfr-dev)  `: flottants à précision variable
+`  mpc      (libmpc-dev)   `: complexes à précision variable
+`  gmp      (libgmp-dev)   `: arithmétique à multi-précision
+`  png      (libpng-dev)   `: manipulation d'images
+`  ppl      (libppl-dev)   `: polyèdres Parma (optimisation magique)
+`  flex     (flex)         `: générateur d'analyseurs lexicaux
+`  g++      (g++)          `: compilateur C++
+`  git      (git)          `: gestionnaire de versions
+`  texinfo  (texinfo)      `: générateur de documentation formatée
 
 
 [label=architecture]