diff options
| -rwxr-xr-x | Master/bin/win32/runscript.tlu | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Master/bin/win32/runscript.tlu b/Master/bin/win32/runscript.tlu index c68239e7bb5..285817f7fca 100755 --- a/Master/bin/win32/runscript.tlu +++ b/Master/bin/win32/runscript.tlu @@ -675,6 +675,9 @@ elseif progname == 'tlgs' then ARGV = {[0]=GSEXE, GSNAME} elseif progname == 'tlperl' then ARGV = {[0]=PERLEXE, 'perl'} +elseif progname == 'latexdef' then + progname = 'texdef' + argline = ' --tex latex ' .. argline end -- general case |