diff options
Diffstat (limited to 'Master/tlpkg/bin/tlpkginfo')
| -rwxr-xr-x | Master/tlpkg/bin/tlpkginfo | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/tlpkginfo b/Master/tlpkg/bin/tlpkginfo index 7bc6956d8cc..4aa47a063f2 100755 --- a/Master/tlpkg/bin/tlpkginfo +++ b/Master/tlpkg/bin/tlpkginfo @@ -18,7 +18,7 @@ sub main # erroneous tds files (warn Robin about them) or problematic (purifyeps). # list format: pkg1|pkg2|etc - $erroneous_tds = "engpron|fmtcount|paresse|purifyeps|thailatex|tufte-latex|xetexref|xtab"; + $erroneous_tds = "engpron|fmtcount|imtekda|paresse|purifyeps|thailatex|tufte-latex|xetexref|xtab"; # Heiko's tds files (don't propagate through CTAN fast enough). $oberdiek_tds = "hyperref|oberdiek"; |