diff options
Diffstat (limited to 'Master/tlpkg')
| -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 7806d88cd20..a65a13d383e 100755 --- a/Master/tlpkg/libexec/ctan2tds +++ b/Master/tlpkg/libexec/ctan2tds @@ -640,6 +640,7 @@ chomp ($Build = `cd $Master/../Build/source && pwd`); 'libris', "&MAKEcopy", 'lifia-th', "die 'skipping, ?'", 'linearA', "&MAKEflatten", + 'list', "die 'skipping, part of knuth-local'", 'lintex', "die 'skipping, compiled program'", 'listofanswers', "die 'skipping, noinfo license'", 'literat', "&MAKEliterat", |