summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xBuild/tools/tpm-factory.pl3
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;