summaryrefslogtreecommitdiff
path: root/Master/tlpkg/bin
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/bin')
-rwxr-xr-xMaster/tlpkg/bin/check-fmttriggers13
1 files changed, 9 insertions, 4 deletions
diff --git a/Master/tlpkg/bin/check-fmttriggers b/Master/tlpkg/bin/check-fmttriggers
index 7d8b85b8c3c..21ba259f715 100755
--- a/Master/tlpkg/bin/check-fmttriggers
+++ b/Master/tlpkg/bin/check-fmttriggers
@@ -331,10 +331,15 @@ sub compare_pkgs_and_triggers {
delete $fmttriggers->{$ef};
} else {
- # not in tlpdb at all; output needed fmttriggers directive.
- tlwarn ("$prg: no fmttriggers in tlpdb: $ef\n"
- . " fmttriggers=" . join (",", @recorded_pkgs) . "\n");
- $bad_p = 1;
+ # not in tlpdb at all; in a few cases, that is expected.
+ # Otherwise, complain and output needed fmttriggers directive.
+ if ($ef =~ /^(mf-nowin\.mf|(pdf|xe)tex\.cont-en)$/) {
+ delete $fmttriggers->{$ef}; # ok
+ } else {
+ tlwarn ("$prg: no fmttriggers in tlpdb: $ef\n"
+ . " fmttriggers=" . join (",", @recorded_pkgs) . "\n")
+ $bad_p = 1;
+ }
}
}