Do not check for LaTeX fonts if we use nonTeXFont

diff --git a/src/LaTeXFeatures.cpp b/src/LaTeXFeatures.cpp
index e2abc6dbedfb3d5c7bdda71493a95a7ad483732a..94cdb637d03bb0a077867a3d03f2bb6e6098de20 100644 (file)
--- a/src/LaTeXFeatures.cpp
+++ b/src/LaTeXFeatures.cpp
@@ -474,6 +474,9 @@ bool LaTeXFeatures::isRequired(string const & name) const
 
 bool LaTeXFeatures::isProvided(string const & name) const
 {
+       if (params_.useNonTeXFonts)
+               return params_.documentClass().provides(name);
+
        bool const ot1 = (params_.font_encoding() == "default"
                || params_.font_encoding() == "OT1");
        bool const complete = (params_.fonts_sans == "default")