diff options
author | Karl Berry <karl@freefriends.org> | 2016-06-30 21:01:17 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2016-06-30 21:01:17 +0000 |
commit | f60f1c10905a3b33dab411367c85412f8dce0a07 (patch) | |
tree | 5fda5c554dd96738cf75018b6f4cd3f82d38d262 /Master/tlpkg | |
parent | 388beecbb45b370adf62c66b34ad2b60e764e1a2 (diff) |
mandi (30jun16)
git-svn-id: svn://tug.org/texlive/trunk@41580 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg')
-rwxr-xr-x | Master/tlpkg/bin/tlpkg-ctan-check | 1 | ||||
-rw-r--r-- | Master/tlpkg/tlpsrc/oldstandardt1.tlpsrc | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/tlpkg-ctan-check b/Master/tlpkg/bin/tlpkg-ctan-check index ea8c160475c..3809e590d96 100755 --- a/Master/tlpkg/bin/tlpkg-ctan-check +++ b/Master/tlpkg/bin/tlpkg-ctan-check @@ -702,6 +702,7 @@ my @TLP_no_check = ( "metafont", # binary "metapost", # binary "mex", # gust, requested 2013 + "mflua", # binary "mfware", # binary "mltex", # binary "omega", # binary diff --git a/Master/tlpkg/tlpsrc/oldstandardt1.tlpsrc b/Master/tlpkg/tlpsrc/oldstandardt1.tlpsrc index e69de29bb2d..b31b69e7366 100644 --- a/Master/tlpkg/tlpsrc/oldstandardt1.tlpsrc +++ b/Master/tlpkg/tlpsrc/oldstandardt1.tlpsrc @@ -0,0 +1 @@ +execute addMap OldStandard.map |