Ceci est une ancienne révision du document !
À quoi servent “gftopk” & “pktogf”?
Les programmes
gftopk
et pktogf
sont deux petits utilitaires qui servent à compresser et décompresser
les fichiers de fontes produits par MetaFont.
Typiquement, le programme MetaFont (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
.tfm
, pour « TeX font metrics » - et un fichier de log.
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.
<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
(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
.
Sources: