À quoi servent « gftopk » et « pktogf » ?#

Les programmes gftopk et pktogf sont deux petits utilitaires qui servent à compresser et décompresser les fichiers de fontes produits par .

Typiquement, le programme (mf) compile un fichier source, d’extension MF, pour produire :

  • un fichier de fonte matricielle (raster font) dont l’extension se termine par GF (pour « generic font ») ;

  • un fichier d’extension TFM, pour «  font metrics » ;

  • et un fichier journal.

Généralement, après cette compilation, on compresse le fichier GF en un fichier PK (packed raster file), de taille beaucoup plus petite, à l’aide du programme gftopk. Les fichiers PK peuvent être directement utilisés par les logiciels qui lisent les fichiers DVI (pour affichage sur écran ou conversion en PostScript ou PDF).

pktogf réalise l’opération inverse, en décompressant les fichiers PK pour donner des fichiers GF.

Leur syntaxe est très simple :

gftopk fichier_GF [ fichier_PK ]

pktogf fichier_PK [ fichier_GF ]

Si l’utilisateur veut avoir des détails sur la conversion en cours, il est possible d’ajouter l’option -v (mode verbeux) à la ligne de commande.

Important

Le nom de fichier ⟨fichier_GF⟩ donné en argument doit être complet (avec son extension). 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.

S’il n’est pas donné, le nom du fichier PK de sortie sera construit à partir du nom de fichier d’entrée, en remplaçant GF par PK : par exemple cmr10.300gf deviendra cmr10.300pk.