summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNorbert Preining <preining@logic.at>2008-10-09 23:51:26 +0000
committerNorbert Preining <preining@logic.at>2008-10-09 23:51:26 +0000
commit3b8d4d0377b9806ee0bbd0fe68fd8a71d410bef8 (patch)
treedff39e3e5c648c61c1107ad3b9dd7a2bba55b7db
parentccf509007c049a832a4ca7a3c8daf6d640941179 (diff)
ignore more files from installer in tlmgr check files
git-svn-id: svn://tug.org/texlive/trunk@10908 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-xMaster/texmf/scripts/texlive/tlmgr.pl3
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) {