Created attachment 61558 [details] Patch to output font full name When generating html/xml from a pdf, the font name is substituted using the 'font' array in utils/HtmlFonts.cc and using 'Times' as default if the font is not found on that array. As I need the font name as is in the pdf, I've written a patch to support that. You might find it useful too (or not!). The patch provided adds a new command line option to pdftohtml, "-fontfullname", which outputs the font name without any substitutions. This is done for both html and xml. I don't know how if this makes sense in the case of html, but it would be trivial to change that. With this patch, issue 34057 can be resolved.
The patch is against 0.20.0
Commited, will be in poppler 0.22
Use of freedesktop.org services, including Bugzilla, is subject to our Code of Conduct. How we collect and use information is described in our Privacy Policy.