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 3fd9c86278c..54c139e8875 100755 --- a/Master/tlpkg/libexec/ctan2tds +++ b/Master/tlpkg/libexec/ctan2tds @@ -288,6 +288,7 @@ chomp ($Build = `cd $Master/../Build/source && pwd`); 'dejavu', "&MAKEcopy", 'deleq', "die 'skipping, nosell license'", 'deproc', "die 'skipping, for latex 2.09'", + 'designcon', "die 'skipping, requires nonfree fonts'", 'devanagr', "&MAKEdevanagr", 'devanagari', "die 'skipping, use velthuis'", 'devanagari-omega', "die 'skipping, author unknown, license unknown'", |