> It is possible to extract fonts from a PDF file, it's pretty common these > days but you'd have a few options. This link discusses them.
Usually PDF producing tools include only a subset of the font data in de PDF (only the glyphs that are actually used). So extracting will (again, usually) not produce a complete font. -- Johan _______________________________________________ lilypond-user mailing list lilypond-user@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-user