summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/manuel.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manuel.tex b/doc/manuel.tex
index b2819cb..1c8ba47 100644
--- a/doc/manuel.tex
+++ b/doc/manuel.tex
@@ -29,7 +29,7 @@ L'utilitaire bien connu qui permet de lancer les compilations, il va interpréter
principal à la racine du projet puis entrer dans chaque sous répertoire et interpréter récursivement
tous les Makefiles qu'il va rencontrer. L'exécutable final se trouvera dans le répertoire src et se nomme
\textit{Polynom}.
-La 'cible' all crée l'exécutable et la cible install l'installe avec ses librairies dans l'endroit
+La cible 'all' crée l'exécutable et la cible 'install' l'installe avec ses librairies dans l'endroit
précisé par --prefix dans la ligne de commande de configure. Il est à noter que l'emplacement par défaut
se situe dans /usr/local, or ce dossier n'est typiquement accessible en écriture que par les administrateurs,
c est pourquoi nous vous conseillons de préciser l'option --prefix lors de l'appel de configure.