+def convert_japanese_encodings(document):
+ " Rename the japanese encodings to names understood by platex "
+ jap_enc_dict = {
+ "EUC-JP-pLaTeX": "euc",
+ "JIS-pLaTeX": "jis",
+ "SJIS-pLaTeX": "sjis"
+ }
+ i = find_token(document.header, "\\inputencoding" , 0)
+ if i == -1:
+ return
+ val = get_value(document.header, "\\inputencoding", i)
+ if val in jap_enc_dict.keys():
+ document.header[i] = "\\inputencoding %s" % jap_enc_dict[val]
+
+
+def revert_japanese_encodings(document):
+ " Revert the japanese encodings name changes "
+ jap_enc_dict = {
+ "euc": "EUC-JP-pLaTeX",
+ "jis": "JIS-pLaTeX",
+ "sjis": "SJIS-pLaTeX"
+ }
+ i = find_token(document.header, "\\inputencoding" , 0)
+ if i == -1:
+ return
+ val = get_value(document.header, "\\inputencoding", i)
+ if val in jap_enc_dict.keys():
+ document.header[i] = "\\inputencoding %s" % jap_enc_dict[val]
+
+