On 27.10.05 Frank Küster ([EMAIL PROTECTED]) wrote: > Julian Gilbey <[EMAIL PROTECTED]> wrote:
Hi, > >> /usr/bin/pktogf (convert packed font files to generic font files) > >> /usr/bin/gftopk (and back) > > > > This is used by mktexpk! > > So we should keep them in -core. I just checked whether we > distribute any gf files, and since this is not the case, it seemed > not necessary to me. But we should keep in mind that add-on font > packages might have .gf files. > Metafont creates gf files, which are later compressed using gftopk. H. -- sigmentation fault -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]