diff options
Diffstat (limited to 'Build/source/texk/web2c/mplibdir/mpost.w')
-rw-r--r-- | Build/source/texk/web2c/mplibdir/mpost.w | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/mplibdir/mpost.w b/Build/source/texk/web2c/mplibdir/mpost.w index eb92253f361..89cf33a0d67 100644 --- a/Build/source/texk/web2c/mplibdir/mpost.w +++ b/Build/source/texk/web2c/mplibdir/mpost.w @@ -1240,8 +1240,10 @@ int main (int argc, char **argv) { /* |start_here| */ if (dvi == NULL) { @<Show short help and exit@>; } else { - if (!nokpse) - kpse_set_program_name("dvitomp", user_progname); + if (!nokpse) { + kpse_set_program_name(argv[0], + user_progname ? user_progname : "dvitomp"); + } exit (mpost_run_dvitomp(dvi, mpx)); } } |