From b9b9ad3f9e5088e38cd15bc01a7fd09e32f55144 Mon Sep 17 00:00:00 2001 From: Juergen Spitzmueller Date: Thu, 4 Aug 2016 10:01:06 +0200 Subject: [PATCH] Correct backends() allocation with japanese encoding Fixes error introduced by ad9887da9c18. --- src/BufferParams.cpp | 16 ++++++++++------ 1 file changed, 10 insertions(+), 6 deletions(-) diff --git a/src/BufferParams.cpp b/src/BufferParams.cpp index 44ddc35561..caa2dcb4f4 100644 --- a/src/BufferParams.cpp +++ b/src/BufferParams.cpp @@ -2407,13 +2407,17 @@ vector 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); -- 2.39.2