diff options
| -rw-r--r-- | Master/tlpkg/TeXLive/TLWinGoo.pm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/TeXLive/TLWinGoo.pm b/Master/tlpkg/TeXLive/TLWinGoo.pm index 014564331c0..9efc7c39356 100644 --- a/Master/tlpkg/TeXLive/TLWinGoo.pm +++ b/Master/tlpkg/TeXLive/TLWinGoo.pm @@ -533,7 +533,7 @@ sub adjust_reg_path_for_texlive { unsetenv_reg("Path", $mode); } if (($action eq 'add') and ($mode eq 'user') and tex_dirs_on_path(get_system_path())) { - debug("Warning: conflicting [pdf]tex found on the system path in $d; not fixable in user mode."); + tlwarn("Warning: conflicting [pdf]tex found on the system path in $d; not fixable in user mode."); return 1; } return 0; |