diff options
author | Karl Berry <karl@freefriends.org> | 2007-04-28 23:50:18 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2007-04-28 23:50:18 +0000 |
commit | cf5c11423240ba8debc063012e6d1d232e6475ba (patch) | |
tree | 02994000bf507b8ba6d169ede8a2c93896dd66b6 /Build/cdbuild | |
parent | 13d30f4bd3dd877180a14053b3f0029a82423019 (diff) |
reinstate mnsymbol, good with palatino et al., not just minion
git-svn-id: svn://tug.org/texlive/trunk@4209 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/cdbuild')
-rwxr-xr-x | Build/cdbuild/ctan2tds.pl | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/Build/cdbuild/ctan2tds.pl b/Build/cdbuild/ctan2tds.pl index ffe4d79903e..26391c39083 100755 --- a/Build/cdbuild/ctan2tds.pl +++ b/Build/cdbuild/ctan2tds.pl @@ -61,7 +61,6 @@ chdir $startdir || die "chdir($startdir) failed: $!"; 'HA-prosper', '&MAKEhaprosper', 'IEEEtran', "&MAKEIEEEtran", 'LingTrees', "print requires python", - 'MnSymbol', "&MAKEflatten", 'SIstyle', '&MAKEflatten', 'aastex', "&MAKEflatten", 'active-conf', "&MAKEflatten", @@ -211,6 +210,7 @@ chdir $startdir || die "chdir($startdir) failed: $!"; 'mh', "&MAKEflatten", 'misc', "&MAKEmisc", 'mkbangtex', "print \"no copyright (and python script)\n\"", + 'mnsymbol', "&MAKEflatten", 'montex', "&MAKEflatten", 'movie15', "&MAKEflatten", 'mpattern', "&MAKEmpattern", @@ -1017,6 +1017,9 @@ $standardpfm='\.pfm'; $standardpfb='\.pfb|\.inf'; %specialpfb= (); +$standardotf='\.otf'; +%specialotf= (); + $standardovf='\.ovf'; %specialovf= (); @@ -1382,6 +1385,8 @@ sub dotype1{ $pfmpatt = $specialpfm{$package }; if ($pfmpatt eq "") { $pfmpatt=$standardpfm; } &install("$DEST/fonts/type1/public/$package",$pfmpatt); + if ($otfpatt eq "") { $otfpatt=$standardotf; } + &install("$DEST/fonts/opentype/public/$package",$otfpatt); } sub doxmt{ |