diff options
author | Denis Bitouzé <dbitouze@wanadoo.fr> | 2018-04-14 17:57:55 +0000 |
---|---|---|
committer | Denis Bitouzé <dbitouze@wanadoo.fr> | 2018-04-14 17:57:55 +0000 |
commit | 114235def426160ea00f445252408384bdb97f30 (patch) | |
tree | 30b876653ada7c343c1f7c416936e9fa6981bd58 /Master/texmf-dist/doc | |
parent | 5570f5c571371f223f375c2184826999e1412805 (diff) |
Minor update in translations for French
git-svn-id: svn://tug.org/texlive/trunk@47463 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc')
-rw-r--r-- | Master/texmf-dist/doc/texlive/texlive-fr/texlive-fr.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/texmf-dist/doc/texlive/texlive-fr/texlive-fr.tex b/Master/texmf-dist/doc/texlive/texlive-fr/texlive-fr.tex index f3a2f799bcf..6faa6eee0c3 100644 --- a/Master/texmf-dist/doc/texlive/texlive-fr/texlive-fr.tex +++ b/Master/texmf-dist/doc/texlive/texlive-fr/texlive-fr.tex @@ -525,8 +525,8 @@ la liste outrepassent les précédentes. utiliser pour installer pour tous les utilisateurs les extensions, fontes, etc. additionnelles ou mises à jour. \item[TEXMFHOME] -- contient les fichiers personnels (extensions, classes, - fontes) de l'utilisateur ; ce répertoire est installé automatiquement dans - le répertoire personnel de l'utilisateur. + fontes, ensemble de macros) de l'utilisateur ; ce répertoire est installé + automatiquement dans le répertoire personnel de l'utilisateur. \item[TEXMFCONFIG] -- c'est là que les scripts \cmdname{texconfig} \cmdname{updmap} et \cmdname{fmtutil} recherchent leurs fichiers de configuration (personnelles) en priorité. |