diff options
-rwxr-xr-x | Build/tools/tpm-factory.pl | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Build/tools/tpm-factory.pl b/Build/tools/tpm-factory.pl index f5db9a24df5..749db5f47d7 100755 --- a/Build/tools/tpm-factory.pl +++ b/Build/tools/tpm-factory.pl @@ -191,8 +191,7 @@ sub check_dependencies { &do_tree($tree, \&collect_tpmfiles); } my @l = ("texmf/tpm/scheme-full.tpm", - "texmf/tpm/scheme-tetex.tpm", # has some specific collections - "texmf/tpm/collection-wintools.tpm", # some utils we only provide + "texmf/tpm/collection-wintools.tpm", ); while ($#l >= 0) { my $p = pop @l; |