diff options
Diffstat (limited to 'Master/tlpkg/libexec/ctan2tds')
-rwxr-xr-x | Master/tlpkg/libexec/ctan2tds | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/libexec/ctan2tds b/Master/tlpkg/libexec/ctan2tds index dd5c248d94e..ff5bf54911b 100755 --- a/Master/tlpkg/libexec/ctan2tds +++ b/Master/tlpkg/libexec/ctan2tds @@ -735,6 +735,7 @@ chomp ($Build = `cd $Master/../Build/source && pwd`); 'miniltx', "die 'skipping, use graphics-pln'", 'minionpro', "die 'skipping, requires nonfree minion'", 'minion2newtx',"die 'skipping, requires nonfree minion'", + 'missaali', "&MAKEflatten", 'misc', "&MAKEmisc", 'mk', "die 'skipping, not self-locating, must not usurp two-character cmd name'", 'mkbangtex', "die 'skipping, no copyright (and python)'", |