diff options
-rwxr-xr-x | Master/texmf/scripts/texlive/texconf.tlu | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Master/texmf/scripts/texlive/texconf.tlu b/Master/texmf/scripts/texlive/texconf.tlu index ff0b0cd7208..68eb2e20717 100755 --- a/Master/texmf/scripts/texlive/texconf.tlu +++ b/Master/texmf/scripts/texlive/texconf.tlu @@ -242,6 +242,10 @@ end -- set_dvips_papersize function set_xdvi_papersize(papersize) local current_setting + -- windows does not have xdvi + if os.type == 'windows' then + return + end -- Read the file. kpse.set_program_name('xdvi') local filename=kpse.find_file('XDvi', 'other text files') @@ -523,6 +527,9 @@ elseif arg[1] == 'dvipdfmx' then end end +command = { "mktexlsr", texmfconfig } +os.spawn(command) + -- Local Variables: -- lua-indent-level: 2 -- tab-width: 2 |