diff options
| -rwxr-xr-x | Master/tlpkg/bin/tl-check-fmttriggers | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/tl-check-fmttriggers b/Master/tlpkg/bin/tl-check-fmttriggers index 90fb4131d2b..4f46229fd85 100755 --- a/Master/tlpkg/bin/tl-check-fmttriggers +++ b/Master/tlpkg/bin/tl-check-fmttriggers @@ -306,6 +306,9 @@ sub compare_pkgs_and_triggers { # change, fmtutil should get called anyway due to language.* changing. my @skip_recorded = qw(dehyph-exptl ruhyphen ukrhyph); # + # similarly for this engine. + push (@skip_recorded, "pdftex"); + # # Anything matching hyphen-.* is also ignored, but not hyph-utf8. for my $ef (sort keys %$pkgs_per_format) { |