SuivantPrec.Bas prec.BasNiv. sup.

8.8 PXtoPK 2.2 [1g] (DOS & OS/2) 

Convertit les fichiers pxl en fichiers pk. (les fichiers pxl sont obsolètes et ne devraient plus être utilisés). If you can recreate the PK file from the GF file or the METAFONT source, you should do so. Otherwise, use PXtoPK.

8.8.1 Utilisation 

pxtopk [fichier_pxl [fichier_pk]]
Extension par défaut de fichier_pxl: .pxl
Extension par défaut de fichier_pk: .pk

Il est possible de donner un nom de lecteur ou de répertoire au fichier fichier_pk. SuivantPrec.Bas prec.HautNiv. sup.