diff options
Diffstat (limited to 'Master/tlpkg')
-rwxr-xr-x | Master/tlpkg/libexec/ctan2tds | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Master/tlpkg/libexec/ctan2tds b/Master/tlpkg/libexec/ctan2tds index ad43ab551a4..01a692897b4 100755 --- a/Master/tlpkg/libexec/ctan2tds +++ b/Master/tlpkg/libexec/ctan2tds @@ -898,6 +898,7 @@ chomp (my $ctan_root = `tlpkginfo --ctan-root`); 'onepagem', "die 'skipping, use piff'", 'opacity-pro', "die 'skipping, adobe required (dps)'", 'opensans', "&MAKEcopy", + 'optex', "&MAKEflatten", 'optima', "die 'skipping, nonfree font'", 'osa', "die 'skipping, relies on endfloat.cfg and non-unique filenames'", 'osmanian', "die 'skipping, no good license info'", @@ -3250,6 +3251,7 @@ $standardttf = '\.ttf|\.TTC'; 'mathspic' => 'mathspic.1', 'mkjobtexmf' => 'mkjobtexmf.man', 'musixtnt' => '\.1$', + 'optex' => '\.1$', 'pedigree-perl' => '\.1$', 'perltex' => 'perltex.1', 'pdfbook2' => '\.1$', |