diff options
| -rwxr-xr-x | Master/texmf/scripts/texlive/tlmgr.pl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Master/texmf/scripts/texlive/tlmgr.pl b/Master/texmf/scripts/texlive/tlmgr.pl index dc8a0c84a5d..d13a4da9879 100755 --- a/Master/texmf/scripts/texlive/tlmgr.pl +++ b/Master/texmf/scripts/texlive/tlmgr.pl @@ -1725,6 +1725,9 @@ sub check_files { install-tl.log tlpkg/texlive.profile tlpkg/installer + install-tl$ + install-tl.bat$ + install-tl.bat.manifest$ !; my $tltree = TeXLive::TLTREE->new ("svnroot" => $Master); if ($svn) { |