From: Kornel Benko Date: Tue, 19 Feb 2013 08:26:05 +0000 (+0100) Subject: Add new output format dvi4 ( == DVI(pLaTeX) X-Git-Tag: 2.1.0beta1~640 X-Git-Url: https://git.lyx.org/gitweb/?a=commitdiff_plain;h=8e4f656aa79cb1e39a4b8b3fc18b0d4571b8eee4;p=features.git Add new output format dvi4 ( == DVI(pLaTeX) Add converter for this format (platex without extra parameters) --- diff --git a/lib/configure.py b/lib/configure.py index fa3b8a3d4c..00b2fa7110 100644 --- a/lib/configure.py +++ b/lib/configure.py @@ -409,6 +409,7 @@ def checkLatex(dtl_tools): if cmdOutput(PLATEX + ' chklatex.ltx').find('pLaTeX2e') != -1: # We have the Japanese pLaTeX2e addToRC(r'\converter platex dvi "%s -kanji=$$E $$i" "latex=platex"' % PLATEX) + addToRC(r'\converter platex dvi4 "%s $$i" "latex=platex"' % PLATEX) else: PLATEX = '' removeFiles(['chklatex.ltx', 'chklatex.log']) @@ -589,7 +590,8 @@ def checkFormatEntries(dtl_tools): # checkViewer('a DVI previewer', ['xdvi', 'kdvi', 'okular', 'yap', 'dviout -Set=!m'], rc_entry = [r'''\Format dvi dvi DVI D "%%" "" "document,vector,menu=export" "application/x-dvi" -\Format dvi3 dvi "DVI (LuaTeX)" V "%%" "" "document,vector,menu=export" ""''']) +\Format dvi3 dvi "DVI (LuaTeX)" V "%%" "" "document,vector,menu=export" "" +\Format dvi4 dvi "DVI (pLaTeX)" V "%%" "" "document,vector,menu=export" ""''']) if dtl_tools: # Windows only: DraftDVI addToRC(r'\Format dvi2 dvi DraftDVI "" "" "" "vector" ""')