diff options
author | Karl Berry <karl@freefriends.org> | 2017-11-06 00:18:20 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2017-11-06 00:18:20 +0000 |
commit | d6b2e3e412b2bfe4a6aab470de255bafa29b91c2 (patch) | |
tree | e14903d4836d0dc00b15ca4beb5720915bb7e662 | |
parent | 3e05f904513bfc27ae6875cc098b73f6e52deaa5 (diff) |
handle cases where no fmttriggers is expected now
(mf, context)
git-svn-id: svn://tug.org/texlive/trunk@45704 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-x | Master/tlpkg/bin/check-fmttriggers | 13 |
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; + } } } |