Différences

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

--- 5_fichiers:fontes:gftopk_et_pktogf [2022/01/20 07:58] – Correction de la mise en forme. yannick.tanguy
+++ 5_fichiers:fontes:gftopk_et_pktogf [2022/10/10 15:43] (Version actuelle) – Usage de ⟨...⟩ dbitouze
@@ Ligne 27: / Ligne 27: @@
 <note important>
-Le nom de fichier ''<//fichier_GF//>'' donné en argument doit être complet (avec son extension).
+Le nom de fichier ''⟨//fichier_GF//⟩'' donné en argument doit être complet (avec son extension).
-En effet, pour les fichiers GF, la résolution de la fonte fait partie de l'extension complète
+En effet, pour chaque ''⟨//fichier_GF//⟩'', la résolution de la fonte fait partie de l'extension complète
 (par exemple ''.300gf'' pour un fichier à 300 DPI) et ça n'aurait donc pas de sens qu'une extension
 par défaut soit attendue.