diff options
author | Norbert Preining <norbert@preining.info> | 2023-07-08 03:01:46 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2023-07-08 03:01:46 +0000 |
commit | eeed32591ed8e985fd458c43d976027ad679d682 (patch) | |
tree | 1a5db64fc7b9df26f2887acbde587aed73315604 /dviware/dvisvgm/src/FontManager.cpp | |
parent | 2178d699db60492a15e11c107f17da33543af865 (diff) |
CTAN sync 202307080301
Diffstat (limited to 'dviware/dvisvgm/src/FontManager.cpp')
-rw-r--r-- | dviware/dvisvgm/src/FontManager.cpp | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/dviware/dvisvgm/src/FontManager.cpp b/dviware/dvisvgm/src/FontManager.cpp index bc6f88d322..3dcf87eae1 100644 --- a/dviware/dvisvgm/src/FontManager.cpp +++ b/dviware/dvisvgm/src/FontManager.cpp @@ -233,12 +233,13 @@ int FontManager::registerFont (uint32_t fontnum, const string &name, uint32_t ch else { // create dummy font as a placeholder if the proper font is not available newfont = util::make_unique<EmptyFont>(name); - if (filename.rfind('.') == string::npos) - filename += ".mf"; // print warning message about missing font file (only once for each filename) static set<string> missing_fonts; if (missing_fonts.find(filename) == missing_fonts.end()) { - Message::wstream(true) << "font file '" << filename << "' not found\n"; + if (filename.rfind('.') == string::npos) + Message::wstream(true) << "no font file found for '" << filename << "'\n"; + else + Message::wstream(true) << "font file '" << filename << "' not found\n"; missing_fonts.insert(filename); } } |