Follow-up Comment #4, bug #57506 (project groff): You raise important questions, to which I don't know any answers. You demonstrate more font knowledge in comment #2 than I have in my entire brain.
[comment #2 comment #2:] > (1) It's important to determine whether these files are purely > generated by afmtodit or whether they undergo hand-editing afterwards. A question also relevant to bug #58894 and bug #58897. Werner probably knows the answer. http://lists.gnu.org/archive/html/groff/2020-08/msg00024.html suggests that John Gardner knows a thing or two about fonts as well. > Either way, this procedure should become part of the build > or release-management process (depending on the tedium level). Bug #57594 also concerns an update that should be done every release cycle. I wondered there (and haven't investigated any further to try to answer myself) whether there's a checklist of updates to run for each release. > extract metrics from fonts, then rewrite the metrics in ditroff, > possibly with fixups like the one requested in this ticket. One would ideally hope the original font files contain correct data, or that if they don't, bugs can be reported somewhere to get them corrected, so that we don't have to patch font metrics for every release in perpetuity. _______________________________________________________ Reply to this item at: <https://savannah.gnu.org/bugs/?57506> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/
