diff options
| author | Karl Berry <karl@freefriends.org> | 2012-10-18 22:33:43 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2012-10-18 22:33:43 +0000 |
| commit | 34c48d9566089694027f919d621fec0e075d1b84 (patch) | |
| tree | 0d9a5e32bd2805eb15ed9a7444b9dfead77d58d9 /Master/tlpkg/bin | |
| parent | b2af3a5c5a7adb196a11e1d049a2162b4dd34a45 (diff) | |
sttools (19oct12)
git-svn-id: svn://tug.org/texlive/trunk@28013 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin')
| -rwxr-xr-x | Master/tlpkg/bin/tlpkginfo | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/tlpkginfo b/Master/tlpkg/bin/tlpkginfo index c22b76f40f3..8efc1d78f56 100755 --- a/Master/tlpkg/bin/tlpkginfo +++ b/Master/tlpkg/bin/tlpkginfo @@ -17,7 +17,8 @@ sub main { # erroneous or problematic tds files (when new, tell RobinF and author) $erroneous_tds = join ("|", - qw(countriesofeurope engpron gost hacm he-she imtekda spanish titleps), + qw(countriesofeurope engpron gost hacm he-she imtekda spanish + sttools titleps), ); # Heiko's tds files (don't propagate through CTAN fast enough). |