Correct backends() allocation with japanese encoding

Fixes error introduced by ad9887da9c18.

diff --git a/src/BufferParams.cpp b/src/BufferParams.cpp
index 44ddc355614faa474d451db47f236a201145de74..caa2dcb4f422b68392fa7aef46f80bd129a6eaa5 100644 (file)
--- a/src/BufferParams.cpp
+++ b/src/BufferParams.cpp
@@ -2407,13 +2407,17 @@ vector<string> BufferParams::backends() const
 
        // FIXME: Don't hardcode format names here, but use a flag
        if (buffmt == "latex") {
-               if (!useNonTeXFonts) {
-                       v.push_back("pdflatex");
-                       v.push_back("latex");
+               if (encoding().package() == Encoding::japanese)
+                       v.push_back("platex");
+               else {
+                       if (!useNonTeXFonts) {
+                               v.push_back("pdflatex");
+                               v.push_back("latex");
+                       }
+                       v.push_back("xetex");
+                       v.push_back("luatex");
+                       v.push_back("dviluatex");
                }
-               v.push_back("xetex");
-               v.push_back("luatex");
-               v.push_back("dviluatex");
        } else
                v.push_back(buffmt);