commit b9b9ad3f9e5088e38cd15bc01a7fd09e32f55144
Author: Juergen Spitzmueller <[email protected]>
Date: Thu Aug 4 10:01:06 2016 +0200
Correct backends() allocation with japanese encoding
Fixes error introduced by ad9887da9c18.
---
src/BufferParams.cpp | 16 ++++++++++------
1 files changed, 10 insertions(+), 6 deletions(-)
diff --git a/src/BufferParams.cpp b/src/BufferParams.cpp
index 44ddc35..caa2dcb 100644
--- 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);